是否可以使用绿洲生成推断的mli文件？

Question

我意识到你可以使用ocamlbuild xxx.inferred.mli一个接一个地生成推断的mli文件，但是我希望自动完成这个（也可以看看ocaml推断出哪些类型并使用这些mli＆＃39; s我自己的基础）。当然我想跳过我已经指定了mli的模块。

Answer 1

我认为Oasis不可能做到这一点，而且它不是Oasis的工作，因为这是高度依赖系统的。

你应该考虑从编译的接口文件（.cmi）中创建mli文件，因为cmi已经被编译，因此构建系统独立。我不知道这样的工具是否已经存在，但熟悉OCaml编译器内部的人员应该很容易，具有以下功能：

• Cmi_format.read_cmi将cmi文件作为签名加载。
• Printtyp.signature以人类可读的形式（= mli）打印加载的单品。