0:00 / 0:00
#kotlin#intersectiontypes#typesystem
Intersection Types in Kotlin
Dave Leeds
16K subscribers • 19 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Dave Leeds
Intermediate. Assumes working knowledge.
5.4K views2 years ago1 recommendation
Programming languagesLanguage design and type systems
Dave Leeds explains Kotlin's support for non-denotable intersection types and how to pass them to functions with compile-time type checking.
Let's take a look at Kotlin's support for non-denotable intersection types, and how we can even pass them to functions with compile-time type checking! ✨ New to Kotlin? Start here: typealias.com/start/ ... or pick up the new Leanpub Edition! book.typealias.com/ 🚀 I just launched a new email newsletter! Sign up here: newsletter.typealias.com/ ☕ Get your own Mr. Grumpy Recalcitrant Man mug here: redbubble.com/i/mug/Mr-Grumpy-Recalcitrant-Man-by-TypeAlias/… State of Intersection Types in Kotlin Introduction to Intersection Types Example Code Walkthrough Runtime Type Check Approach Compile-Time Type Check Approach Alternatives and Trade-Offs #kotlin #androiddevelopmentWhy it's here
1 person recommends thisWhat people say. Recommended as a clear explanation of intersection types in Kotlin.