内容简介：我正在寻找有关着名的Damas-Hindley-Milner算法的信息做功能语言的类型推断,特别是有关实现的信息.我已经知道如何做W算法,但是我听说过最近的基于约束生成器/求解器的新算法,而不是通常的统一.然而,我无法找到关于这些新算法的实现的任何讨论.
我正在寻找有关着名的Damas-Hindley-Milner算法的信息
做功能语言的类型推断,特别是有关实现的信息.
我已经知道如何做W算法,但是我听说过最近的基于约束生成器/求解器的新算法,而不是通常的统一.然而,我无法找到关于这些新算法的实现的任何讨论.
任何想法,我可以找到关于ML推理的一些细节信息？
几乎所有最近对这些问题的认真的讨论都将在学术场合进行.可能感兴趣的一篇论文是 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
以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持 码农网
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
算法：C语言实现
塞奇威克 / 霍红卫 / 机械工业出版社 / 2009-10 / 79.00元
《算法:C语言实现(第1-4部分)基础知识、数据结构、排序及搜索(原书第3版)》细腻讲解计算机算法的C语言实现。全书分为四部分，共16章。包括基本算法分析原理，基本数据结构、抽象数据结构、递归和树等数据结构知识，选择排序、插入排序、冒泡排序、希尔排序、快速排序方法、归并和归并排序方法、优先队列与堆排序方法、基数排序方法以及特殊用途的排序方法，并比较了各种排序方法的性能特征，在进一步讲解符号表、树等......一起来看看 《算法：C语言实现》 这本书的介绍吧!
