我正在学习OCaml,我很好奇OCaml如何进行类型推理.我知道这是通过一个叫做统一的过程来完成的,我试着在已发表的论文中阅读有关算法的内容,但这个符号让我失望了.任何人都可以为我描述一步一步的过程吗？
ocaml types functional-programming
functional-programming ×1
ocaml ×1
types ×1