4.1.1.1 Hindley-Milner 算法

文档摘要

4.1.1.1 Hindley-Milner 算法我们来直面一个在类型系统实现中反复撕裂工程师神经的瞬间：当 Hindley-Milner（HM）类型推断引擎在处理多态递归函数时，突然卡死、栈溢出，或更糟——返回一个看似合理却彻底背叛语义的类型？这不是理论课上的玩具例子。这是你在凌晨三点调试一个自研 DSL 编译器时，看到调用耗尽 2GB 内存后抛出的真实弹窗；是你的前端类型检查插件在分析一段带的 OCaml 风格代码时，把错判为，导致后续所有泛型约束失效；是团队里最资深的类型系统工程师拍着桌子说：“HM 不该推不出的类型！它明明是可判定的！