我正在寻找关于著名 Damas-Hindley-Milner algorithm 的信息 为函数式语言进行类型推断,尤其是关于实现的信息。
我已经知道如何执行 Algorithm W ,但我听说最近的新算法基于约束生成器/求解器而不是通常的统一。但是,我找不到关于这些新算法实现的任何讨论。
知道在哪里可以找到有关 ML 推理的部分信息吗?
最佳答案
如果您熟悉 ML 代码,找到这些内容的最佳方法就是简单地查看实际的实现。一个很好的引用实现是 HaMLet ,它更像是一个测试平台,而不是生产实现。
几乎所有关于这些问题的严肃讨论都将在学术场所进行。可能感兴趣的一篇论文是 Generalising Hindley-Milner type inference algorithms .
此外,Pierce 的“Types and Programming Languages”以及 Appel 的“Modern Compiler Implementation in ML”中各种类型系统(包括 let 多态性)的实现比算法 W 的普通描述更接近现代实现方法。
关于algorithm - Damas-Hindley-Milner 类型推理算法实现,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/3641967/