Explore " intersection types " with insightful episodes like "Church-style Typing and Intersection Types: Glimpses of Benjamin Pierce's Dissertation" and "Intersections and Unions in Practice; Failure of Type Preservation with Unions" from podcasts like ""Iowa Type Theory Commute" and "Iowa Type Theory Commute"" and more!
I was reading Benjamin Pierce's dissertation, and learning some intriguing things about intersection types in the context of Church-style typing. I summarize the parts of this I comprehended so far.
I discuss the perhaps surprising fact that union and intersection types are quite actively used and promoted for languages like TypeScript, also OO languages like Scala. I also try to explain briefly a counterexample to type preservation with union types, which you can find at the start of Section 2 of Barbanera and Dezani-Ciancaglini's paper "Intersection and Union Types: Syntax and Semantics", where it is attributed to Benjamin Pierce.
Stay up to date
For any inquiries, please email us at hello@podcastworld.io