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.