类型系统中的反例 (2021)

Counterexamples in type systems (2021)

原始链接: https://counterexamples.org/

《类型系统中的反例》（*Counterexamples in Type Systems*）由 Stephen Dolan 整理，Andrej Bauer、Leo White 和 Jeremy Yallop 参与编写，是一份详细记录编程语言类型系统中常见陷阱、悖论和边缘情况的综合目录。 该合集探讨了 31 个不同的技术挑战，揭示了类型理论实现中的缺陷或复杂性。核心议题包括与可变状态相关的风险（多态引用和可变匹配）、型变与子类型的细微差别，以及由重载、递归和面向对象私有性等高级特性引发的复杂问题。通过记录诸如“作用域逃逸”、“柯里悖论”和“运行时类型误导”等问题，该索引成为了语言设计者和研究人员的重要资源。它强调了看似直观的类型规则在组合使用时如何导致不稳健、不稳定或意外的行为，为形式化类型理论与实际应用相结合的边界提供了一份严谨的审视。