OCaml, også kendt som Objective Caml ( Object-Oriented Categorical Abstract Machine Language), er en objektorienteret version af Caml programmeringssprog. Siden introduktionen i 1996 er Ocaml blevet den største implementering af Caml. Den bruger en interaktiv tolk, men indeholder en kompilator til at skabe binære eksekverbare filer. Det har påvirket andre udbredte programmeringssprog, herunder F # og Scala.

Bemærk: OCaml bør ikke forveksles med kamelbøgerne af O'Reilly for Perl programmeringssprog.

"Hej Verden!" i OCaml

print_endline "Hej verden!"

Executable, Language, Programmeringsbetingelser