我正在寻找有关着名的Damas-Hindley-Milner算法的信息, 以便对函数式语言进行类型推断,尤其是有关实现的信息.
我已经知道如何做算法W,但我听说最近基于约束生成器/求解器的新算法而不是通常的统一.但是,我无法找到有关这些新算法实现的任何讨论.
我知道在哪里可以找到有关ML推理的部分信息吗？
algorithm type-inference hindley-milner
algorithm ×1
hindley-milner ×1
type-inference ×1