类型系统中的反例简介 目录与词汇表 1. 多态引用 2. 协变容器 3. 不完整的方差检查 4. 建造中的对象 5. 库里悖论 6. 最终，什么都没有 7. 可疑的证据 8. 一些种类的任何东西 9. 任何（单一）事物 10. 可变匹配 11. 运行时类型错误信息 12. 重载与多态性 13. 明确性 I：单射性 14. 明确性 II：递归 15. 明确性 III：选项 16. 子类型与继承 17. 自私性 18. 隐私侵犯 19. 不稳定的类型表达式 20. 避免问题 21. 一点知识... 22. 确定不足的递归 23. 确定过多的递归 24. 范围逃逸 25. 在虚假的前提下 26. 可疑的子项 27. 只有一个莱布尼茨 28. 交集引用 29. 多态联合细化 30. 正性，严格及其他 31. 几乎普遍量化