types - OCaml 类型推断算法是如何工作的？

Question

我目前正在学习 OCaml，我很好奇 OCaml 如何进行类型推断。我知道它是通过一个称为统一的过程完成的，我尝试阅读已发表论文中有关该算法的内容，但该符号让我望而却步。任何人都可以为我描述分步过程吗？

Answer 1

实际上，可以说统一是算法的一个实现细节。类型系统只是一组规则。这些规则允许检查现有的打字派生。规则没有明确提及统一，尽管在考虑实现从表达式自动生成类型派生的算法时，统一是一种自然会想到的技术。

我真的很喜欢阅读这篇“使用 Caml Light 进行函数式编程”tutorial by Michel Mauny当我和你有同样的问题时。该教程现在显示了它的年龄，但是您感兴趣的章节(第 15 章)现在仍然和当时一样好。