The beauty of Kotlin typing system
summary
An in-depth look at Kotlin’s type system, focusing on concrete features such as nullability handling, type inference, and flow-sensitive (universal) smart casts/guards. Explains how design choices and lessons from other type systems shaped these features and how they improve everyday programming in Kotlin.
AI-written summary · about
