Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

IDE for OCaml language

Tags:

ide

ocaml

Is there any trusted OCaml IDE other than Camelia ?

I would prefer an eclipse based IDE if existed.

like image 814
becks Avatar asked Feb 07 '13 09:02

becks


2 Answers

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.

like image 73
lukstafi Avatar answered Sep 22 '22 12:09

lukstafi


VSCode with ReasonML / OCaml plugin:

enter image description here

Install the VSCode plugin/extension with:

enter image description here

Jetbrains / IntellijIDEA ultimate:

enter image description here

With Jetbrains, install the plugin here:

enter image description here

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

like image 28
Alexander Mills Avatar answered Sep 24 '22 12:09

Alexander Mills