Largement méconnu en France alors qu'il mérite un cocorico, CAML est le langage qui est utilisé lorsque performances et sûreté absolues sont requises.
En France, la programmation fonctionnelle n'est pas populaire. Pourtant c'est dans notre pays qu'est né un des meilleurs langages fonctionnels : Caml. Il est né en 1985 à l'INRIA, de la rencontre entre le langage ML et une machine abstraite : CAM. L'implémentation la plus aboutie s'appelle Objective Caml. Nous la devons à Xavier Leroy de l'INRIA, et comme son nom l'indique, cette implémentation ajoute une couche objet qui toutefois ne nous intéresse pas dans le cadre de ce dossier sur les langages fonctionnels. (Objective) Caml est un langage créé pour l'industrie, où il peine à s'imposer, sans doute par manque de communication.

Frédéric Mazué