Сменив работу, решил немного подправить свой боевой emacs и вот что из этого вышло:
- в стабильный Debian был воткнут emacs-snapshot;
- прикручена тема zenburn, убран меню-бар и всякая лишняя обвеска;
- в качестве ШГ уже достаточно давно использую terminus;
- кроме того, прикрутил подсветку текущей строки и выпирающих концов длинных строк, которые выделяются красным цветом.
Теперь по скриншоту. Слева видны полируемые исходники модуля для ejabberd. Для работы с Erlang использую EDTS, который может почти всё и не тормозит как erlang-mode.
Для ускорения эрланга в узких местах иcпользую ocaml. Когда возможностей окамла не хватает или нужно доказывать некоторые утверждения о коде, использую coq.
Работу с окамлом обеспечивает tuareg-mode, а исходниками на coq заведует ProofGeneral.
Ругайте.
