Understanding types as sets


The talk will introduce the concept of variance as in pertains to generic types. It will then show how this concept applies to TypeScript. While showing TypeScript example, I will try to help the audience form an intuition about variance. Finally we will look at what some of the design decisions in TypeScript mean for the soundness of the code we write, and what are some blind spots the compiler has.

Titian-Cornel Cernicova-Dragomir
Titian-Cornel Cernicova-Dragomir
22 min

Check out more articles and videos

Workshops on related topic