Ответ 1
Редакторы
• Emacs
◦ ocaml-mode из стандартного распределения
◦ альтернативный tuareg-mode https://forge.ocamlcore.org/projects/tuareg/
- чит-лист: http://www.ocamlpro.com/fi les/tuareg-mode.pdf
◦ интеграция с отладчиком camldebug
◦ обратная связь по типу с клавишей C-c C-t, требуется .nn файлы
• Vim
◦ Плагин OMLet http://www.lix.polytechnique.fr/~dbaelde/productions/omlet.html
◦ Для поиска по типу: 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
• Eclipse
◦ Инструменты разработки OCaml http://ocamldt.free.fr/
◦ старый плагин OcaIDE http://www.algo-prog.info/ocaide/
• TypeRex http://www.typerex.org/
◦ в настоящее время в основном как typerex-режим для Emacs, но интеграция с другие редакторы станут лучше
◦ Автозаполнение идентификаторов (экспериментальных)
◦ Просмотр идентификаторов: показать тип и комментарий, перейти к определению
◦ локальный и полностью программный рефакторинг: переименование идентификаторов и единиц компиляции, открытая элиминация
• Некоторые специализированные редакторы
◦ OCamlEditor http://ocamleditor.forge.ocamlcore.org/
◦ ocamlbrowser проверяет библиотеки и программы
- просмотр содержимого модулей
- поиск по имени и по типу
- базовое редактирование с подсветкой синтаксиса
◦ Cameleon http://home.gna.org/cameleon/ (старше)
◦ Camelia http://camelia.sourceforge.net/ (даже старше)
NEW: editor OCaml-top с подсветкой синтаксиса, отступом, отображением типа, хорошо работать на всех системах.
NEW: Merlin, похожее на TypeRex, но работает лучше с работами в процессе работы, имеет интерфейсы для Vim и Emacs в настоящее время.