OCaml语言的集成开发环境（IDE）

Question

除了Camelia之外，是否有其他可信赖的OCaml IDE？

如果存在基于Eclipse的IDE，我更倾向于使用它。

- becks

---

大量有用的内容：https://github.com/rizo/awesome-ocaml - bhathiya-perera

Answer 1

编辑：

• Emacs

◦ 标准发行版中的ocaml-mode

◦ 可选的tuareg-mode https://forge.ocamlcore.org/projects/tuareg/

− 快速参考：http://www.ocamlpro.com/files/tuareg-mode.pdf

◦ 与调试器集成的camldebug

◦ 使用C-c C-t快捷键进行类型反馈，需要.annot文件

• Vim

◦ OMLet插件 http://www.lix.polytechnique.fr/~dbaelde/productions/omlet.html

编辑：十年后（2022年），VS Code OCaml平台可能是最佳选择。

◦ 用于类型查找：要么https://github.com/avsm/ocaml-annot ◦ 要么http://www.vim.org/scripts/script.php?script_id=2025 ◦ 还有？http://www.vim.org/scripts/script.php?script_id=1197 • Neovim

◦ 在opam中安装ocaml-lsp-server，在neovim中添加lspconfig并启用ocamllsp • Eclipse ◦ OCaml开发工具http://ocamldt.free.fr/ ◦ 一个旧的插件OcaIDEhttp://www.algo-prog.info/ocaide/

• TypeRex http://www.typerex.org/

◦ 目前主要用于Emacs的typerex-mode，但与其他编辑器的集成将会更好

◦ 标识符的自动补全（实验性）

◦ 浏览标识符：显示类型和注释，转到定义

◦ 局部和整体程序重构：重命名标识符和编译单元，打开消除

• 一些专用编辑器

◦ OCamlEditor http://ocamleditor.forge.ocamlcore.org/

◦ ocamlbrowser检查库和程序

− 浏览模块内容

− 按名称和类型搜索

− 基本编辑，带有语法高亮

◦ Cameleon http://home.gna.org/cameleon/（较旧）

◦ Camelia http://camelia.sourceforge.net/（甚至更早）

新功能：编辑器OCaml-top，具有语法高亮、缩进、类型显示，在所有系统上运行良好。

新功能：Merlin，类似于TypeRex，但在处理正在进行中的文件时效果更好，目前支持Vim和Emacs。

- lukstafi

Answer 2

使用ReasonML / OCaml插件的VSCode:

安装VSCode插件/扩展程序:

Jetbrains / IntellijIDEA ultimate:

使用Jetbrains，可以在这里安装插件:

使用这些插件，在这两种编辑器中都可以获得智能感知/自动完成功能。

- Alexander Mills

---

我喜欢Jetbrains的产品，所以我每年支付大约150美元购买IDEA Ultimate，其中包括所有Jetbrains语言插件tmk。 - Alexander Mills

我既用过VSCode也用过Jetbrains。VSCode的颜色编码似乎相差甚远，所以我选择使用VSCode。 - Charlie-Greenman

Answer 3

也许您可以查看这个主题：寻找OCaml IDE 对于基于eclipse的IDE，您可以使用OcaIDE。

- Çağdaş Bozman