#类型系统

共 3 篇相关文章

Python 3.15 新增 sentinel 类型，用带名字的唯一哨兵对象替代 None 和裸 object()，解决值缺失、显式为空、非法输入等状态混淆问题，并避免类型提示失效。

深入解析Haskell的Kind系统，探讨类型的类型这一核心概念，涵盖具体类型、类型构造器、PolyKinds扩展以及Kind在类型类实例和高阶类型编程中的实践影响。

深入解析Go 1.26版本两项重要类型系统改进：简化泛型类型构造流程，增强递归类型循环检测能力，帮助开发者更安全高效地处理复杂类型定义。