编程语言设计新视角：如何在 Hindley-Milner 与双向类型检查中做选择？

本文深入探讨了编程语言开发中关于类型系统的经典选择困境：Hindley-Milner (HM) 还是双向类型检查。作者指出这实际上是一个伪命题，因为双向类型检查本质上是 HM 的超集，而非对立面。真正值得语言设计者关注的核心问题并非算法流派，而是“你的语言是否需要泛型？”。如果需要泛型，就必须引入统一算法；而在构建 DSL 或学习型语言时，双向类型系统提供了无需复杂推导的轻量级解决方案。