Counterexamples in type systems (2021)
13 days ago
- #Counterexamples
- #Programming Languages
- #Type Systems
- 该文本列举了类型系统中的31个反例，涵盖了多态引用、协变容器、变体检查和递归等问题。
- 涉及的主题包括对象构造、Curry悖论、运行时类型信息错误、重载以及子类型与继承。
- 其他要点涉及自私性、隐私侵犯、不稳定表达式、规避问题、作用域逃逸和全称量化。
- 本整理由Stephen Dolan完成，感谢Andrej Bauer、Leo White和Jeremy Yallop的贡献，并包含视觉主题切换功能。