是否有可能生成綠洲推斷的mli文件？

Question

我意識到你可以使用ocamlbuild xxx.inferred.mli逐個生成推斷的mli文件，但我更喜歡這樣做是爲我自動完成的（也查看哪些類型的ocaml推斷並使用這些mli作爲我自己的基礎）。當然，我想跳過我已經指定了mli的模塊。

Answer 1

我認爲這是不可能的綠洲，它不是一個綠洲的工作，因爲這是高度建立系統的依賴。

您應該考慮從編譯後的接口文件（.cmi）製作mli文件，因爲cmi已經編譯完成，因此可以構建獨立的系統。我不知道這樣的工具是否已經存在與否，但它應該是failrly容易有人熟悉OCaml的編譯器內部，具有以下功能：

• Cmi_format.read_cmi加載CMI文件作爲簽名。
• Printtyp.signature以人類可讀形式（= mli）打印加載的singnatures。