Counterexamples in Type Systems
8 hours ago
- #type-systems
- #programming-languages
- #counterexamples
- The article 'Counterexamples in Type Systems' presents a collection of challenges and edge cases in type system design.
- It lists 31 specific issues, such as polymorphic references, covariant containers, and incomplete variance checking, highlighting problems in programming language theory.
- Each counterexample, like 'Objects under construction' or 'Curry's paradox', illustrates potential pitfalls that type systems must address to ensure correctness and safety.
- The collation is credited to Stephen Dolan, with acknowledgments to contributors including Andrej Bauer, Leo White, and Jeremy Yallop, indicating a collaborative effort in compiling these examples.