~/talk

The Power of Types

Talkat KotlinConf 2019 · 2019-12-04..12-06· [kotlin, typescript]
slides:none on file

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

  1. 0:00Introduction
  2. 0:50Debugging
  3. 2:49History
  4. 11:18Kotlin Type System
  5. 11:50Primitive Obsession
  6. 25:02Smart Constructor
  7. 25:48Allocations
  8. 28:04Memory
  9. 30:25Garbage Collection
  10. 33:42Sources
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.