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

Question

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

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

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

Answer 1

如果您熟悉ML代码，那么找到这些东西的最好方法就是简单地查看一下这些实现。HaMLet是一个很好的参考实现，它更像是一个测试平台，而不是一个生产实现。

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

此外，在皮尔斯的"Types and Programming Languages“中的各种类型系统的实现(包括let多态性)，以及阿佩尔的"Modern Compiler Implementation in ML”，比算法W的普通描述更符合实现这一点的现代方法。