types - 查看复杂 OCaml 代码中的推断类型

Question

我是一名 OCaml 新手，正在使用一些我没有编写的相当复杂(至少对我来说)的 OCaml 代码。如果我可以看到某些值的推断类型，那么对理解它会有很大帮助，就像我可以通过将鼠标悬停在任何值上来使用 F# 和 Visual Studio 一样，例如:

(截图借自http://theburningmonk.com/2010/01/learning-f-part-1/)

我想我可以分解代码并将其提供给顶层以获取类型，但是还有其他更简单的方法吗？

Answer 1

首先，您必须使用 -annot 标志编译文件 (foo.ml)。这会生成注释文件 (foo.annot)，其中包含有关内部所有标识符的类型信息。您可以将其包含在 makefile 或构建过程中。

然后，您需要依靠 IDE 来显示该信息。我在 Tuareg(emacs 模式)中使用 Ctrl+C、Ctrl+T 执行此操作，这会突出显示当前表达式并显示其类型。