OCaml, auch Objective Caml ( Object Oriented Categorical Abstract Machine Language) genannt, ist eine objektorientierte Version der Programmiersprache Caml. Seit seiner Einführung im Jahr 1996 ist Ocaml zur Hauptimplementierung von Caml geworden. Es verwendet einen interaktiven Interpreter, enthält jedoch einen Compiler zum Erstellen binärer ausführbarer Dateien. Es hat andere, weit verbreitete Programmiersprachen beeinflusst, darunter F # und Scala.

Hinweis: OCaml sollte nicht mit den Kamelbüchern von O'Reilly für die Programmiersprache Perl verwechselt werden.

"Hallo Welt!" in OCaml

print_endline "Hallo Welt!"

Ausführbare, Sprache, Programmierbegriffe