Why do I feel this Talk would be helpful:

Javascript is the language of the web, it's the building block of modern applications but it has its shortcomings. This is where Typescript comes as a blessing to help us navigate our way through javascript land by providing us with static types and inferencing.

But it's very important to understand the basics and internal fundamental workings of Types so that we develop a better understanding of the system and utilize it pragmatically.

In this talk, we will strive to build a strong mental model for how types fundamentally work by utilizing the set theory and demystifying complex type systems that allow us to give a better Development experience and allow us to ship robust applications with confidence, and perform type wizardry!

You can refer to the content of the slide and live examples included in the attached repository- https://github.com/ajitjha393/Understand-TypeScript-using-set-theory