Главная
Study mode:
on
1
Intro
2
Safety Features
3
Interoperability
4
Example: Arrays
5
Java (as seen from Kotlin)
6
Java Interop: All Nullable
7
Annotations
8
Pick Two
9
Dereferencing Flexible Values
10
Assignability
11
Representation
12
Equivalence
13
Runtime Checks (and their absence)
14
Some Notes
15
Kotlin Arrays
16
Arrays: Example
17
Java: Flexible Types
18
Ad Hoc Check
19
Runtime Checks and their absence
20
Raw Types
21
Summary (11)
22
Expressing dynamic types for
Description:
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.

Flexible Types in Kotlin - JVM Language Summit 2015

Java
Add to list