Objective Caml (ou Ocaml) est un langage fonctionnel très puissant dérivé du Caml, langage enseigné dans de nombreuses écoles et universités françaises et étrangères, et qui intéresse les labos de recherche, et de plus en plus le milieu industriel. Ocaml permet d’écrire dans les styles fonctionnel, impératif, générique et objet. Il concurrence directement des langages comme C++ en terme de performances et de fonctionnalités et Java en terme de simplicité, d’universalité et de sécurité.

Les distributions Ocaml contiennent en effet un interpréteur en ligne de commande, un compilateur bytecode avec une machine virtuelle et un compilateur natif performant. De nombreux outils de développements (Lex/Yacc, génération de doc, browser de classes, etc) sont livrés en standard, dont un débogueur unique en son genre, car il permet de revenir en arrière. Enfin, Ocaml peut s’interfacer avec le C et utiliser de nombreuses librairies existantes.

Ocaml a été porté sur de nombreuses plateformes et est développé par l’INRIA (cocorico !).