在OCaml的源中键入推断

Question

我想仔细研究OCaml中类型推断的实现，我的OCaml似乎安装在/usr/local/lib/ocaml中，但内部没有.ml似乎包含了类型推断的代码段。 ..

有人可以帮忙吗？

Answer 1

我怀疑你有OCaml的二进制版本。你需要来源。您可以从此页面获取来源：OCaml 4.00.1 Release

Answer 2

除了查看源代码外，您可能会发现this paper很有用。