Hindley-Milner算法：使用类型以确保应用绑定

Question

我正在实现Hindley-Milner型推理算法，按照 Mark Jones 和

Answer 1

我在这里在黑暗中刺伤，因为我认为你提出的解决方案可能还有其他问题，但我可以解决至少一个难度：

• 您的类型检查器应具有 Unifigate类型变量和对象语言类型变量的不同的表示。

这种变化并不难以实现，实际上我认为GHC类型检查器以这种方式工作，至少一次。您可能想查看文件实用类型推断任意-rank类型;附录包含许多非常有用的代码。