Intersection types do actually exist in Kotlin's type system. Even though we can't denote them, we c...

# feed

[Dave Leeds]

Intersection types do actually exist in Kotlin's type system. Even though we can't denote them, we can still use them!

https://youtu.be/d_vP_wEnjT4▾

[Youssef Shoaib [MOD]]

Nice video!
This rabbit hole goes deeper btw. You can combine this with contracts, the _ operator for type arguments, a concept I love called `TypeWrapper`s, and then you can get very very close to denoting intersection types.
I'll drop some code here later if that's of interest!

[CLOVIS]

I'm interested 🙂

[Dave Leeds]

@Youssef Shoaib [MOD] - Yes, for sure - I'd love to see how that works! 👍