Skip to content
0:00 / 0:00

#kotlin#intersectiontypes#typesystem

Intersection Types in Kotlin

Dave Leeds

16K subscribers • 19 videos on Hallway

YouTube
  • 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 #androiddevelopment

Why it's here

1 person recommends this

What people say. Recommended as a clear explanation of intersection types in Kotlin.

u/TypeProjectionin r/Kotlin • Recommends

Intersection Types in Kotlin