Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Compiler Based Testing
Search
Xavier F. Gouchet
PRO
April 03, 2019
Programming
0
110
Compiler Based Testing
Xavier F. Gouchet
PRO
April 03, 2019
Tweet
Share
More Decks by Xavier F. Gouchet
See All by Xavier F. Gouchet
Being an ethical software engineer
xgouchet
PRO
0
200
Libérez votre créativité
xgouchet
PRO
0
92
Unleash your Programming Creativity
xgouchet
PRO
0
140
Demystifying the Test Pyramid
xgouchet
PRO
1
450
Successfully Publishing a Tested, Upgradeable and Documented Open Source Library
xgouchet
PRO
0
82
Property Based Testing in Practice
xgouchet
PRO
0
63
Develop your CI tools
xgouchet
PRO
2
380
How to write a safe and reliable Open Source Library
xgouchet
PRO
1
250
Benchmarking your app's performance
xgouchet
PRO
0
200
Other Decks in Programming
See All in Programming
Deoptimization: How YJIT Speeds Up Ruby by Slowing Down / RubyKaigi 2025
k0kubun
0
330
生成AIを使ったQAアプリケーションの作成 - ハンズオン補足資料
oracle4engineer
PRO
3
180
技術選定を未来に繋いで活用していく
sakito
3
100
サービスクラスのありがたみを発見したときの思い出 #phpcon_odawara
77web
4
610
MCP世界への招待: AIエンジニアが創る次世代エージェント連携の世界
gunta
4
870
Kamal 2 – Get Out of the Cloud
aleksandrov
1
170
AI Coding Agent Enablement - エージェントを自走させよう
yukukotani
13
5.7k
プロダクト横断分析に役立つ、事前集計しないサマリーテーブル設計
hanon52_
1
270
Bedrock×MCPで社内ブログ執筆文化を育てたい!
har1101
6
760
Coding Experience Cpp vs Csharp - meetup app osaka@9
harukasao
0
720
gen_statem - OTP's Unsung Hero
whatyouhide
1
190
List とは何か? / PHPerKaigi 2025
meihei3
0
620
Featured
See All Featured
Building Flexible Design Systems
yeseniaperezcruz
329
38k
Speed Design
sergeychernyshev
28
880
YesSQL, Process and Tooling at Scale
rocio
172
14k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
kevinliebholz
31
4.8k
JavaScript: Past, Present, and Future - NDC Porto 2020
reverentgeek
47
5.3k
Visualization
eitanlees
146
16k
Making Projects Easy
brettharned
116
6.1k
The World Runs on Bad Software
bkeepers
PRO
67
11k
Documentation Writing (for coders)
carmenintech
69
4.7k
How to Think Like a Performance Engineer
csswizardry
22
1.5k
Docker and Python
trallard
44
3.3k
Gamification - CAS2011
davidbonilla
81
5.2k
Transcript
@xgouchet Compiler based Testing CodeMobile UK 2019 - Chester
@xgouchet About me… Xavier F. Gouchet Android developer since the
Cupcake years Lead Android Engineer at WorkWell @xgouchet on every social network you can think of… 2
@xgouchet Testing is Hard Let’s let the compiler do most
of the hard work for us 3
@xgouchet Kotlin / Swift ▧ Statically Typed ▧ Strong Typed
▧ Type Safe ▧ Type Inference 4
@xgouchet Basic use case — JSON { "id" : 481516,
"title" : "Lorem ipsum dolor sit amet…", "picture" : "https://cloudhost.com/5162342", "created": 1553631328 } 5
@xgouchet Basic use case — App Model data class Event(
val id: Int, val title: String, val picture: String, val created: Int } 6
@xgouchet Primitive Aversion Primitives are lightweight… but lack context 7
@xgouchet Use existing types ▧ Integrated in framework and libraries
▧ Zero additional work data class Event( … val created: Date } 8
@xgouchet Type Alias ▧ Give context ▧ Prevent invalid assignements
▧ Ease Maintenance typealias Id = Int data class Event( val id: Id, … } 9
@xgouchet Type Checking ▧ Limit Primitive Scope ▧ Validate data
data class Url(val value: String) { init { val parsedUrl = URL(value) } } data class Event( … val picture: Url } 10
@xgouchet Additional gains 11
@xgouchet Bonus ▧ Share common operations ▧ Force explicit types
▧ Simplify complex structure 12
@xgouchet @xgouchet Thanks! Any questions? 13 Presentation template by SlidesCarnival