31/05/2026 –, Conf 2 - D2.004
Découvrez l'histoire d'OCaml, un langage de programmation fonctionnel libre.
OCaml est un langage de programmation fonctionnel qui est né en France à l'INRIA
en 1996. Les 30 ans d'OCaml sont l'occasion de revenir sur l'histoire des langages de
programmation, l'histoire d'OCaml et sa communauté; mais aussi son futur en
tant que langage, projet libre et objet de recherche.
À l'origine, le langage ML, l'ancêtre d'OCaml, a commencé comme un outil pour
écrire d'autres langages de programmation universitaire. Mais rapidement, OCaml
est devenu un objet de recherche en soi, avant de s'ouvrir à une communauté
libre et des utilisateurs industriels.
De nos jours, il s'agit d'un langage de programmation généraliste, avec un
système de type avancé, qui est utilisé pour écrire de nombreux types de
logiciels: des compilateurs, des logiciels d'analyses statiques, des serveurs
web, un système d'exploitation, …
En France, OCaml (et caml light son prédécesseur) est peut-être plus connu pour
son utilisation dans l'enseignement en particulier en CPGE (Classe Préparatoire aux
Grandes Écoles).
Parallèlement, le compilateur OCaml c'est aussi un projet libre, auquel au fil
des années plus de quatre cents contributrices et contributeurs ont participé,
adossé à un écosystème open-source comptant plus de 4000 paquets.
Inria
Ingénieur de recherche à l'Inria Paris, je travaille sur le compilateur OCaml; plus particulièrement sur les questions de gestion de mises en productions, l'expérience utilisateur des développeurs. et les notamment les messages d'erreur.