Vin*_*inz 18 algorithm type-inference hindley-milner
我正在寻找有关着名的Damas-Hindley-Milner算法的信息, 以便对函数式语言进行类型推断,尤其是有关实现的信息.
我已经知道如何做算法W,但我听说最近基于约束生成器/求解器的新算法而不是通常的统一.但是,我无法找到有关这些新算法实现的任何讨论.
我知道在哪里可以找到有关ML推理的部分信息吗？
Gia*_*ian 17
如果你对ML代码感到满意,那么找到这些东西的最好方法就是简单地研究一下这些实现.一个很好的参考实现是HaMLet,它被设计为更多的测试平台而不是生产实现.
最近几乎所有关于这些问题的严肃讨论都将出现在学术界.可能感兴趣的一篇论文是Generalising Hindley-Milner类型推理算法.
此外,Pierce的" 类型和编程语言 "中的各种类型系统(包括let polymorphism)的实现,以及Appel的" ML中的现代编译器实现 "更接近于实现此方法的现代方法,而不是算法W的vanilla描述.
| 归档时间： |
|
| 查看次数： |
3069 次 |
| 最近记录： |