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.
Podkasten Iowa Type Theory Commute er innebygd på denne siden fra en åpen RSS feed. Alle filer, beskrivelser, illustrasjoner og andre metadata fra RSS-feeden tilhører podcasteieren og er ikke tilknyttet eller validert av Podplay.