Emacs' support for OCaml is exceptionally good. Not only does tuareg-mode have a decent REPL integration, but it even has thorough 'pair' highlighting for keywords!
Even more impressively, merlin-eldoc understands scope and shadowing when highlighting symbols!
