类型系统中的反例 (2021)

# 类型系统中的反例 - 类型系统中的反例 来源：https://counterexamples.org/ 1. 类型系统中的反例 (https://counterexamples.org/title.html) 2. 引言 (https://counterexamples.org/intro.html) 3. 索引与词汇表 (https://counterexamples.org/glossary.html) 4. **1\.**多态引用 (https://counterexamples.org/polymorphic-references.html) 5. **2\.**协变容器 (https://counterexamples.org/general-covariance.html) 6. **3\.**不完全的变体检查 (https://counterexamples.org/incomplete-variance.html) 7. **4\.**构造中的对象 (https://counterexamples.org/under-construction.html) 8. **5\.**柯里悖论 (https://counterexamples.org/currys-paradox.html) 9. **6\.**最终，虚无 (https://counterexamples.org/eventually-nothing.html) 10. **7\.**可疑的证据 (https://counterexamples.org/dubious-evidence.html) 11. **8\.**某种类型的“任意值” (https://counterexamples.org/anythings.html) 12. **9\.**任意（单个）事物 (https://counterexamples.org/anything-once.html) 13. **10\.**可变匹配 (https://counterexamples.org/mutable-matching.html) 14. **11\.**运行时类型信息误导 (https://counterexamples.org/runtime-misinformation.html) 15. **12\.**重载与多态 (https://counterexamples.org/overloading-polymorphism.html) 16. **13\.**区别性 I：单射性 (https://counterexamples.org/distinctness-injectivity.html) 17. **14\.**区别性 II：递归 (https://counterexamples.org/distinctness-recursion.html) 18. **15\.**区别性 III：选项 (https://counterexamples.org/distinctness-options.html) 19. **16\.**子类型与继承 (https://counterexamples.org/subtyping-vs-inheritance.html) 20. **17\.**自私性 (https://counterexamples.org/selfishness.html) 21. **18\.**隐私侵犯 (https://counterexamples.org/privacy-violation.html) 22. **19\.**不稳定的类型表达式 (https://counterexamples.org/unstable-types.html) 23. **20\.**回避问题 (https://counterexamples.org/avoidance.html) 24. **21\.**知其一隅... (https://counterexamples.org/little-knowledge.html) 25. **22\.**欠确定的递归 (https://counterexamples.org/underdetermined-recursion.html) 26. **23\.**过确定的递归 (https://counterexamples.org/overdetermined-recursion.html) 27. **24\.**作用域逃逸 (https://counterexamples.org/scope-escape.html) 28. **25\.**虚假伪装 (https://counterexamples.org/false-pretenses.html) 29. **26\.**可疑的子项 (https://counterexamples.org/suspicious-subterms.html) 30. **27\.**只有一个莱布尼茨 (https://counterexamples.org/only-one-leibniz.html) 31. **28\.**交叉引用 (https://counterexamples.org/intersecting-references.html) 32. **29\.**多态联合细化 (https://counterexamples.org/polymorphic-union-refinement.html) 33. **30\.**严格与非严格的正性 (https://counterexamples.org/strict-positivity.html) 34. **31\.**近乎全称量化 (https://counterexamples.org/nearly-universal.html) ## 类型系统中的反例 https://counterexamples.org/print.htmlhttps://github.com/stedolan/counterexamples ## 类型系统中的反例 (https://counterexamples.org/#counterexamples-in-type-systems) *由 Stephen Dolan 整理，感谢 Andrej Bauer、Leo White 和 Jeremy Yallop* https://counterexamples.org/intro.html https://counterexamples.org/intro.html