Counterexamples in Type Systems (2021)
Summary
Counterexamples in Type Systems is a 2021 book compiling a curated set of provocative type-system pitfalls and edge cases, organized as chapters such as polymorphic references, covariant containers, and Curry's paradox. The article page provides a full table of contents and glossary, with links to each topic and a collaborative acknowledgment. It highlights core tensions in polymorphism, variance, recursion, and distinctness, offering material for both study and discussion in language design.