标签索引

类型系统

这个标签下有 5 篇文章。按时间回看相关判断与实践记录。

标签精选

零开销安全编程：利用Lean 4类型系统在编译期根除Socket状态错误

这篇文章探讨了如何使用Lean 4编程语言的依赖类型系统，以零运行时开销的方式解决POSIX Socket API中的状态管理难题。传统的Socket编程常因操作顺序错误（如未监听就Accept、重复关闭）导致未定义行为，而常规的运行时检查...

2026-03-251 分钟阅读119 阅读

本文由Elixir创始人José Valim撰写，深入探讨了在动态语言中引入类型系统时面临的挑战。通过`Map.take!/2`这一具体案例，文章揭示了类型系统有时会成为限制语言表达力的“漏洞百出”的抽象。作者对比了Elixir与TypeS...

2026-03-161 分钟阅读97 阅读

本文深入探讨了编程语言开发中关于类型系统的经典选择困境：Hindley-Milner (HM) 还是双向类型检查。作者指出这实际上是一个伪命题，因为双向类型检查本质上是 HM 的超集，而非对立面。真正值得语言设计者关注的核心问题并非算法流派...

2026-02-191 分钟阅读176 阅读

本文提出了对Kubernetes的全新思考角度，认为它不仅是容器编排工具，更是声明式基础设施的运行时，带有完整的类型系统。作者详细解析了Kubernetes的资源和API如何构成类似编程语言的类型系统，以及其连续协调的运行时行为如何确保实际...

2025-12-271 分钟阅读187 阅读

本文探讨了一种创新的技术方案，将 TypeScript 静态类型信息转化为运行时业务逻辑。作者通过分析 TypeScript 源码的抽象语法树（AST），利用 Compiler API 提取类型定义中的关系描述和校验规则，并将其转换为可执行...

2025-12-171 分钟阅读189 阅读