【发布时间】：2012-11-28 18:45:36
【问题描述】：
我想仔细看看OCaml中类型推断的实现，我的OCaml似乎安装在/usr/local/lib/ocaml，但里面没有.ml似乎包含类型推断的代码...
有人可以帮忙吗？
【问题讨论】：
标签： types ocaml unification
【发布时间】：2012-11-28 18:45:36
【问题描述】：
我怀疑你有 OCaml 的二进制版本。你需要资源。您可以从此页面获取来源：OCaml 4.00.1 Release
【讨论】：
-
那么推理部分在
otherlibs/labltk/browser/typecheck.ml?看起来不像…… -
不，我相信这只是 ocamlbrowser 的一部分。类型检查似乎位于名为
typing的目录中。文件typing/typecore.ml说它对核心语言进行类型检查。这可能是一个开始寻找的好地方。
除了查看源代码之外，您可能会发现this paper 很有用。
【讨论】：