Il est aujourd'hui utilisé par de nombreux développeurs, des équipes de Facebook et de Jane Street, et enfin comme outil pour aider à l'enseignement d'OCaml. En exposant les informations issues de l'inférence de types à l'éditeur, le cycle d'édition-compilation peut être considérablement raccourci. Sans quitter l'éditeur, il devient possible de compléter le code, de naviguer, de consulter la documentation et d'être informé des erreurs.

En interrogeant l'environnement de typage, le développeur gagne une compréhension plus fine de son code mais aussi du langage. Construit autour d'une architecture modulaire, Merlin s'adapte à des environnements très hétérogènes :

• différents éditeurs : Vim, Emacs, Sublime & Atom sont aujourd'hui pris en charge ;
• différentes versions d'OCaml et différentes extensions de syntaxe (PPX, Lwt, MetaOCaml, ...) ;
• et depuis peu aussi avec Reason, une nouvelle interface à OCaml développée par Facebook.

Après une présentation de ces fonctionnalités et des bénéfices pour le développeur, nous verrons plus en détail l'architecture du logiciel, les développements à venir et les problématiques qu'il reste à résoudre.