OCaml, također poznat kao Objective Caml ( Objektno orijentirani kategorički apstraktni strojni jezik), objektno je orijentirana verzija programskog jezika Caml. Od svog uvođenja 1996. godine, Ocaml je postao glavna primjena Camla. Ona koristi interaktivni tumač, ali uključuje kompilator za stvaranje binarnih izvršnih datoteka. To je utjecalo na druge široko korištene programske jezike, uključujući F # i Scala.

Napomena: OCaml se ne smije brkati s knjigama kamilje O'Reillyja za programski jezik Perl.

"Pozdrav svijete!" u OCaml

print_endline "Pozdrav svijetu!"

Izvršna, jezična, programska odrednica