请参阅复杂OCaml代码中的推断类型

Question

我是一个OCaml新手与一些非常复杂的(至少对我来说)OCaml代码一起工作,我没有写.如果我能看到某些值的推断类型,那么理解它会有很多帮助,因为我可以通过将鼠标悬停在任何值上来对F#和Visual Studio进行操作,例如:

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

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

Answer 1

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

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

Answer 2

OcaIDE是Eclipse的O'Caml插件,在编辑代码时动态显示推断类型.

例: