Counterexamples in Type Systems: An Index of Common Pitfalls
A technical reference/index document cataloging counterexamples in type systems — common pitfalls and edge cases in programming language type theory. The article lists topics such as polymorphic references, covariant containers, variance checking, Curry's paradox, subtyping vs. inheritance, and other type system subtleties. It appears to be a structured inde
counterexamples.org1d ago
