I know of two modes for OCaml: TypeRex[1] and Merlin[2]. I've used both, and they both work reasonably well. The problem with TypeRex is that it requires changi

I know of two modes for OCaml: TypeRex[1] and Merlin[2]. I've used both, and they both work reasonably well. The problem with TypeRex is that it requires changing your build, so it's not an easy option for companies that have some sort of custom build system in place. Happily, by the time I got around to working at a company like that, somebody had written Merlin which does not need anything like that. It even worked with js_of_ocaml, which was very impressive. I thought it was a very good tool. [1]: http://www.typerex.org/ http://www.typerex.org/ [2]: http://kiwi.iuwt.fr/~asmanur/blog/merlin/ http://kiwi.iuwt.fr/~asmanur/blog/merlin/ Emacs also has good support for a few other languages. Haskell has ghc-mod[3] and scion[4], for example. [3]: http://www.mew.org/~kazu/proj/ghc-mod/en/ http://www.mew.org/~kazu/proj/ghc-mod/en/ [4]: https://github.com/nominolo/scion https://github.com/nominolo/scion Similarly, there is ENSIME[5] for Scala. [5]: https://github.com/aemoncannon/ensime https://github.com/aemoncannon/ensime You can also use eclim[6] with Emacs, which integrates with Eclipse to offer rich functionality for Java. [6]: https://github.com/senny/emacs-eclim https://github.com/senny/emacs-eclim Of course, Emacs has language-aware editing for Emacs Lisp by default :). You can get similar support for most other popular dynamically typed languages as well. So yes, Emacs does support plenty of languages like that, although almost always through a plugin. Happily, with the new package manager, installing and managing plugins is now trivial.