This site uses cookies to deliver its services and analyze traffic. You can learn more about how Google uses cookies here, and how Bevy uses cookies here.
OK

Jetbrains Lunch Lecture: How flow-sensitive typing is implemented in Kotlin

EEMCS - Lecture hall Chip - Mekelweg 4 Delft, 2628 CD - View Map Delft University of Technology
Mon, Jun 5, 12:45 PM (CEST)

In Kotlin, Flow-sensitive is more commonly known as "smart casts". It makes programming more concise and fun by eliminating unnecessary explicit casts that can be inferred by the compiler. Flow-sensitive typing is a rare feature among programming languages. If you try to find programming languages that implement this feature then you will find only a few.

About this event

In Kotlin, Flow-sensitive is more commonly known as "smart casts". It makes programming more concise and fun by eliminating unnecessary explicit casts that can be inferred by the compiler. Flow-sensitive typing is a rare feature among programming languages. If you try to find programming languages that implement this feature then you will find only a few.

During this lecture, you will learn:

- How flow-sensitive typing is implemented in Kotlin
- What implementation challenges Kotlin faces
- What control flow analysis has to do with the flow-sensitive typing

Knowledge of Kotlin is not required. But if you know some Kotlin then it would be extra exciting for you!

Speaker

Facilitators

When

Monday, Jun 5
12:45 PM - 1:30 PM (CEST)

Where

EEMCS - Lecture hall Chip
Mekelweg 4 Delft, 2628 CD

Organizers