内容简介:我正在寻找有关着名的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
以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网
猜你喜欢:- 机器学习算法分析引擎 助力安全威胁推理分析
- 研学社 · 入门组 | 第七期:类比推理的最近邻、KNN和SVM算法
- 关系推理水平超越人类:DeepMind展示全新神经网络推理预测技术
- 用于补丁生成自动推理代码转换
- CPU深度学习推理部署优化
- 浅谈机器学习模型推理性能优化
本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
SOA & Web 2.0 -- 新商业语言
(美)Sandy Carter / 袁月杨、麻丽莉 / 清华大学出版社 / 2007 / 29.80元
在《SOA&Web 2.0:新商业语言》中,Sandy Calter示范了将企业解构为“组件化”业务模式的方法,然后用相互连接的、可重复的并且能快速、轻松、经济地适应各种变化的IT服务来支持该模式。这些技术将帮助IT专家和业务经理达到崭新的运营水平,以开展着眼于市场的创新,这才是最重要的。总而言之,企业必须实现灵活应对。直到最近,技术都一直阻碍着这些目标的实现。正是由于面向服务架构(SOA)、We......一起来看看 《SOA & Web 2.0 -- 新商业语言》 这本书的介绍吧!