OCaml est un langage de programmation fonctionnelle, impérative et à objets, qui met en avant le typage statique fort, l’inférence automatique de types, et la modularité des programmes. Ses applications s’étendent de la recherche académique à des secteurs industriels variés. OCaml comprend entre autres deux compilateurs et un environnement d’exécution. Il s’inscrit dans un vaste écosystème via le gestionnaire de packages OPAM. Il a évolué sans interruption depuis 1996, tout en assurant la pérennité des programmes écrits dans ce langage.