Counterexamples in type systems (2021)
3 days ago
- #Counterexamples
- #Programming Languages
- #Type Systems
- The text lists 31 counterexamples in type systems, covering issues like polymorphic references, covariant containers, variance checking, and recursion.
- It includes topics such as object construction, Curry's paradox, runtime type misinformation, overloading, and subtyping vs. inheritance.
- Other points address selfishness, privacy violations, unstable expressions, avoidance problems, scope escape, and universal quantification.
- The collation is by Stephen Dolan, with acknowledgments to Andrej Bauer, Leo White, and Jeremy Yallop, and features a visual theme toggle.