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

栏目: 编程工具 · 发布时间: 7年前

内容简介：我正在寻找有关着名的Damas-Hindley-Milner算法的信息做功能语言的类型推断,特别是有关实现的信息.我已经知道如何做W算法,但是我听说过最近的基于约束生成器/求解器的新算法,而不是通常的统一.然而,我无法找到关于这些新算法的实现的任何讨论.

我正在寻找有关着名的Damas-Hindley-Milner算法的信息

做功能语言的类型推断,特别是有关实现的信息.

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

任何想法,我可以找到关于ML推理的一些细节信息？

如果你对ML代码很满意,找到这些东西的最好办法就是简单地研究一下野外实现.一个很好的参考实现是 HaMLet ,它被设计为更多的测试平台而不是生产实现.

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

此外,Pierce的“ Types and Programming Languages ”中的各种类型系统(包括允许多态)的实现以及Appel的“ Modern Compiler Implementation in ML ”与实现这一点的现代方法比算法W的香草描述更为紧密.

http://stackoverflow.com/questions/3641967/damas-hindley-milner-type-inference-algorithm-implementation

以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。

码农书籍

像程序员一样思考

V. Anton Spraul / 徐波 / 人民邮电出版社 / 2013-6 / 49.00元

编程的真正挑战不是学习一种语言的语法，而是学习创造性地解决问题，从而构建美妙的应用。《像程序员一样思考》分析了程序员解决问题的方法，并且教授你其他图书所忽略的一种能力，即如何像程序员一样思考。全书分为8章。第1章通对几个经典的算法问题切入，概括了问题解决的基本技巧和步骤。第2章通过实际编写C++代码来解决几个简单的问题，从而让读者进一步体会到问题解决的思路和应用。第3到7章是书中的主体部分，分别探......一起来看看《像程序员一样思考》这本书的介绍吧!

码农工具

在线进制转换器

各进制数互转换器

RGB HSV 转换

RGB HSV 互转工具