我正在寻找有关知名人士的信息Damas-Hindley-Milner 算法 https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system为函数式语言进行类型推断,尤其是有关实现的信息。
我已经知道该怎么做了算法W https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system#Algorithm_W,但我听说最近的新算法基于约束生成器/求解器而不是通常的统一。然而,我无法找到任何关于这些新算法的实现的讨论。
知道在哪里可以找到有关 ML 推理的部分信息吗?
如果您对 ML 代码感到满意,那么找到这些内容的最佳方法就是简单地研究一下实际的实现。一个很好的参考实现是HaMLet http://www.mpi-sws.org/~rossberg/hamlet/,它更多地被设计为一个测试平台而不是生产实现。
最近几乎所有对这些问题的严肃讨论都将在学术场所进行。一篇可能令人感兴趣的论文是.
此外,Pierce 的“中各种类型系统(包括 let 多态性)的实现类型和编程语言 http://www.cis.upenn.edu/~bcpierce/tapl/”,以及阿佩尔的“机器学习中的现代编译器实现 http://www.cs.princeton.edu/~appel/modern/ml/“比算法 W 的普通描述更接近实现这一点的现代方法。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)