双向类型检查

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

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