Advanced Kotlin
summary
Kotlin type details and code examples show exactly what matters: nothing represents non‑returning functions, unit is a printable singleton usable in generics, and platform types crash if misassumed unless Java is annotated or the return is explicitly typed. Generics demo explains declaration vs use‑site variance (out/in), star‑projections and type erasure pitfalls that make casts silently succeed, and decompiled examples prove that inline literally injects lambda code into the call site, improving lambda performance but risking code bloat.
AI-written summary · about
chapters (17)
- 0:00Start
- 0:30The Kotlin Type System
- 0:42Type System
- 2:36Null Safety
- 7:38Unit
- 10:33Platform Types
- 15:15Guiding Principles
- 16:47Best Practices for Platform Types Annotate Your Java Code
- 18:53Recap
- 19:05Generics
- 20:25What Is Type Erasure
- 25:47Invariant Case
- 26:22Covariant
- 31:41Declaration Site Variants
- 32:14Site Variance
- 34:10Use Case
- 35:02Inlining








