OCaml, även känd som Objective Caml ( Object-oriented Categorical Abstract Machine Language), är en objektorienterad version av Caml-programmeringsspråket. Sedan introduktionen 1996 har Ocaml blivit det viktigaste genomförandet av Caml. Den använder en interaktiv tolk, men innehåller en kompilator för att skapa binära körbara filer. Det har påverkat andra allmänt använda programmeringsspråk, inklusive F # och Scala.

Obs! OCaml ska inte förväxlas med kamelböckerna av O'Reilly för Perl-programmeringsspråket.

"Hej världen!" i OCaml

print_endline "Hello World!"

Executable, Language, Programmeringsvillkor