algorithm - Damas-Hindley-Milner 类型推理算法实现

Question

我正在寻找关于著名 Damas-Hindley-Milner algorithm 的信息为函数式语言进行类型推断，尤其是关于实现的信息。

我已经知道如何执行 Algorithm W ，但我听说最近的新算法基于约束生成器/求解器而不是通常的统一。但是，我找不到关于这些新算法实现的任何讨论。

知道在哪里可以找到有关 ML 推理的部分信息吗？

Answer 1

如果您熟悉 ML 代码，找到这些内容的最佳方法就是简单地查看实际的实现。一个很好的引用实现是 HaMLet ，它更像是一个测试平台，而不是生产实现。

几乎所有关于这些问题的严肃讨论都将在学术场所进行。可能感兴趣的一篇论文是 Generalising Hindley-Milner type inference algorithms .

此外，Pierce 的“Types and Programming Languages”以及 Appel 的“Modern Compiler Implementation in ML”中各种类型系统(包括 let 多态性)的实现比算法 W 的普通描述更接近现代实现方法。