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

Question

我正在寻找有关著名的信息 Damas-Hindley-Milner算法为功能语言键入推论，尤其是有关实施的信息。

我已经知道该怎么做 算法w, ，但是我听说了基于约束生成器/求解器而不是通常的统一的最新新算法。但是，我无法设法找到有关这些新算法的实施的任何讨论。

我想在哪里可以找到有关ML推理的部分信息？

Answer 1

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

几乎所有关于这些问题的严肃讨论都将在学术场所进行。一份可能感兴趣的论文是 概括Hindley-Milner类型推理算法.

此外，皮尔斯（Pierce）的各种类型系统（包括LET多态性）的实现类型和编程语言“以及Appel的”ML中的现代编译器实施“与算法W的香草描述相比，实施此目的的现代方法更匹配。