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

Question

我正在寻找有关著名的Damas-Hindley-Milner 算法 的信息，以对功能语言进行类型推断，尤其是有关实现的信息。

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

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

Answer 1

如果您对 ML 代码感到满意，那么找到这些东西的最佳方法就是简单地查看野外的实现。一个很好的参考实现是HaMLet，它被设计为更多的测试平台而不是生产实现。

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

此外，Pierce 的“类型和编程语言”以及 Appel 的“ ML 中的现代编译器实现”中各种类型系统（包括 let 多态性）的实现比算法 W 的普通描述更接近于实现这一点的现代方法。