Caml unterstützt funktionale, imperative und objekt-orientierte Programmierstile. Die Sprache wurde seit 1985 entwickelt und verbreitet von INRIA, einem französischen Forschungsinstitut für Computerwissenschaften und angewandte Mathematik.
Das OCaml System ist die vorrangige Implementierung der Caml Sprache. Es bietet ein mächtiges Modulsystem und eine vollständige objekt-orientierte Ebene. Mitgeliefert wird für maximale Performance ein Compiler für nativen Code, der zahlreiche Architekturen unterstützt; ein Bytecode-Compiler für bessere Portabilität; und einen interaktiven 'Loop' zum Rapid Prototyping.