我目前正在学习 OCaml，我很好奇 OCaml 如何进行类型推断。我知道这是通过一个称为统一的过程完成的，我尝试在已发表的论文中阅读有关该算法的信息，但符号让我失望。谁能为我描述一步一步的过程？
问问题
1817 次
2 回答
10
实际上，可以说统一是算法的实现细节。类型系统只是一组规则。规则允许检查现有的类型推导。规则没有明确提到统一，尽管统一是一种在考虑实现自动从表达式生成类型推导的算法时自然会想到的技术。
当我和你有同样的问题时，我真的很喜欢阅读Michel Mauny 的“使用 Caml Light 进行函数式编程”教程。该教程现在显示了它的年龄，但是您感兴趣的章节（第 15 章）现在仍然和以前一样好。
于 2012-10-04T07:23:44.817 回答
6
学习 ML 中的 HM 类型推断的规范参考可能是 Ben Pierce 的“类型和编程语言”。您可以在该书的第 22 章中找到该主题。
类型推断算法的第一个实例称为算法 W。
但是，您可能会惊讶地发现——事实上——OCaml 的实现并不简单地生成约束并解决它们！事实上，它为类型推断提供了一种更有效的基于图的算法，该算法（虽然速度很快）会导致偶尔报告奇怪的类型错误。您可以查看有关解释 ML 中的类型错误的参考资料。
于 2012-10-04T20:15:50.863 回答