ocaml - ocaml中的cmt文件有什么用？

Question

我可以使用 ocamlc -bin-annot 的选项来获取 .cmt 文件，文档告诉我它可以“以二进制格式转储有关编译(类型、绑定(bind)、尾调用等)的详细信息”。

那么如何使用这个.cmt 文件？我在网上找不到信息，我想我可以继续使用.cmt 文件得到.cmo 文件或.out 文件？但直接使用ocamlc test.cmt 失败。
那么如何使用cmt文件呢？谢谢!

Answer 1

二进制注释文件(又名 .cmt 文件)是文件类型树的二进制表示(以及更多数据)。基本上，它们适用于想要检查代码而不自己解析和键入文件的工具。

举个例子，我相信绝妙的工具merlin检查.cmt文件(如果存在)并使用这些文件来执行其多项任务(打印类型、自动完成等)。

如果您不是为 OCaml 编写工具，那么尝试使用这些文件是没有意义的。如果您正在编写一个工具，欢迎来到编译器内部的美妙世界，这里的文档几乎就是在阅读代码。

据我所知，没有讨论 .cmt文件编译(尽管实现起来并不难)。大多数情况下，没有太多理由这样做。