OCaml, også kjent som Objective Caml ( Object-Oriented Categorical Abstract Machine Language), er en objektorientert versjon av Caml programmeringsspråk. Siden introduksjonen i 1996 har Ocaml blitt den viktigste implementeringen av Caml. Den bruker en interaktiv tolk, men inneholder en kompilator for å lage binære kjørbare. Det har påvirket andre mye brukte programmeringsspråk, inkludert F # og Scala.

Merk: OCaml bør ikke forveksles med kamelbøkene av O'Reilly for Perl programmeringsspråk.

"Hei Verden!" i OCaml

print_endline "Hei verden!"

Utførbare, språk, programmeringsbetingelser