Explore flexible types in Kotlin through this 42-minute conference talk from the JVM Language Summit 2015. Delve into safety features, interoperability with Java, and the nuances of array handling in Kotlin. Learn about nullable types, annotations, and the concept of flexible values. Examine assignability, representation, and equivalence in Kotlin's type system. Understand runtime checks, raw types, and how Kotlin expresses dynamic types. Gain insights into Kotlin's approach to type safety and its seamless integration with Java, presented by Andrey Breslav.
Overview
Syllabus
Intro
Safety Features
Interoperability
Example: Arrays
Java (as seen from Kotlin)
Java Interop: All Nullable
Annotations
Pick Two
Dereferencing Flexible Values
Assignability
Representation
Equivalence
Runtime Checks (and their absence)
Some Notes
Kotlin Arrays
Arrays: Example
Java: Flexible Types
Ad Hoc Check
Runtime Checks and their absence
Raw Types
Summary (11)
Expressing dynamic types for
Taught by
Java
