The Power of Types
summary
Claims that Kotlin null-safety and type inference push many bugs to compile time, with concrete examples: replacing raw longs/strings with Time, Point and Duration types, and using operator overloading and extension functions so minutes and seconds interoperate safely. Shows smart constructors via companion invoke to forbid invalid users at construction. Measures costs on the JVM and Android: allocation is cheap thanks to escape analysis, and pause time depends on live objects because of generational garbage collection.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 0:50Debugging
- 2:49History
- 11:18Kotlin Type System
- 11:50Primitive Obsession
- 25:02Smart Constructor
- 25:48Allocations
- 28:04Memory
- 30:25Garbage Collection
- 33:42Sources








