Présentation générale
Objective Caml est la principale variante du langage Caml. Du point de vue du langage, elle étend le noyau du langage Caml avec une couche orientée objets complète, ainsi qu'un système de modules puissant. Un système de types polymorphe avec inférence automatique des types assure la cohérence de ces traits.
Le système Objective Caml est une implémentation de qualité industrielle de ce langage, comprenant un compilateur produisant du code natif de haute performance (ocamlopt) pour 9 architectures de microprocesseurs (IA32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPAA, StrongArm), un compilateur code-octet (ocamlc) et une boucle d'interaction (ocaml) pour la rapidilité du développement et la portabilité. La distribution d'Objective Caml offre également une bibliothèque standard, un débogueur (ocamldebug), des générateurs d'analyseurs lexicaux (ocamllex) et syntaxiques (ocamlyacc), un pre-processeur pretty-printer (camlp4) et un générateur de documentation (ocamldoc).
Disponibilité
Le système Objective Caml est un logiciel libre: le compilateur est distribué sous les termes de la Q Public License, et sa librairie sous ceux de la LGPL; reportez-vous au texte de la license pour plus de détails. De plus, une license de type BSD est automatiquement accordée aux membres du Caml Consortium. Le logiciel peut être téléchargée gratuitement sur ce site, et le manuel d'utilisation (en Anglais) l'accompagnant est également disponible en ligne.