米尔纳型推理算法的实现

2018-06-28 23:15:41

我正在寻找有关着名的Damas-Hindley-Milner算法的信息，以对函数式语言进行类型推断，特别是关于实现的信息。

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

任何想法，我可以找到关于ML推断的部分信息？

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

几乎所有近期关于这些问题的严肃讨论都将出现在学术研究领域。一篇可能感兴趣的论文是归纳Hindley-Milner类型推理算法。

此外，皮尔斯的“类型和编程语言”中的各种类型系统（包括让多态性）的实现以及Appel的“ML中的现代编译器实现”更符合现代方法来实现这一点，而不是对算法W的vanilla描述。

链接地址: http://www.djcxy.com/p/80879.html