我正在寻找有关着名的Damas-Hindley-Milner algorithm函数语言类型推断的信息，特别是有关实现的信息 .
我已经知道如何做Algorithm W，但我听说最近基于约束生成器/求解器的新算法而不是通常的统一 . 但是，我无法找到有关这些新算法实现的任何讨论 .
我知道在哪里可以找到有关ML推理的部分信息吗？
我正在寻找有关着名的Damas-Hindley-Milner algorithm函数语言类型推断的信息，特别是有关实现的信息 .
我已经知道如何做Algorithm W，但我听说最近基于约束生成器/求解器的新算法而不是通常的统一 . 但是，我无法找到有关这些新算法实现的任何讨论 .
我知道在哪里可以找到有关ML推理的部分信息吗？
1 回答
如果你对ML代码感到满意，那么找到这些东西的最好方法就是简单地研究一下这些实现 . 一个很好的参考实现是HaMLet，它被设计为更多的测试平台而不是 生产环境 实现 .
最近几乎所有关于这些问题的严肃讨论都将出现在学术界 . 一篇可能感兴趣的论文是Generalising Hindley-Milner type inference algorithms .
此外，Pierce的“Types and Programming Languages ", as well as Appel's " Modern Compiler Implementation in ML”中各种类型系统（包括let polymorphism）的实现与算法W的vanilla描述相比，更接近现实的实现方法 .