IDE for OCaml language

Question

Is there any trusted OCaml IDE other than Camelia ?

I would prefer an eclipse based IDE if existed.

Answer 1

Maybe you can check this topic: Looking for OCaml IDE

For eclipse based IDE you have OcaIDE

Answer 2

Editors

• Emacs

◦ ocaml-mode from the standard distribution

◦ alternative tuareg-mode https://forge.ocamlcore.org/projects/tuareg/

− cheat-sheet: http://www.ocamlpro.com/files/tuareg-mode.pdf

◦ camldebug intergration with debugger

◦ type feedback with C-c C-t key shortcut, needs .annot files

• Vim

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

◦ For type lookup: either https://github.com/avsm/ocaml-annot

− or http://www.vim.org/scripts/script.php?script_id=2025

− also? http://www.vim.org/scripts/script.php?script_id=1197

• Eclipse

◦ OCaml Development Tools http://ocamldt.free.fr/

◦ an old plugin OcaIDE http://www.algo-prog.info/ocaide/

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

◦ currently mostly as typerex-mode for Emacs but integration with other editors will become better

◦ Auto-completion of identifiers (experimental)

◦ Browsing of identifiers: show type and comment, go to definition

◦ local and whole-program refactoring: renaming identifiers and compilation units, open elimination

• Some dedicated editors

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

◦ ocamlbrowser inspects libraries and programs

− browsing contents of modules

− search by name and by type

− basic editing, with syntax highlighting

◦ Cameleon http://home.gna.org/cameleon/ (older)

◦ Camelia http://camelia.sourceforge.net/ (even older)

NEW: editor OCaml-top, with syntax highlighting, indentation, type display, work well on all systems.

NEW: Merlin, similar to TypeRex but works better with work-in-progress files, has front-ends to Vim and Emacs currently.

Answer 3

VSCode with ReasonML / OCaml plugin:

Install the VSCode plugin/extension with:

Jetbrains / IntellijIDEA ultimate:

With Jetbrains, install the plugin here:

You get intelli-sense / auto-complete with both editors using these plugins.