OCaml, juga dikenali sebagai Objective Caml ( Language -oriented Categorical Abstract Machine Language), adalah versi berorientasikan objek dalam bahasa pengaturcaraan Caml. Sejak pengenalannya pada tahun 1996, Ocaml telah menjadi peneraju utama Caml. Ia menggunakan interpreter interaktif, tetapi termasuk pengkompil untuk mewujudkan executable binari. Ia telah mempengaruhi bahasa pemrograman yang digunakan secara meluas, termasuk F # dan Scala.

Nota: OCaml tidak boleh dikelirukan dengan buku unta oleh O'Reilly untuk bahasa pengaturcaraan Perl.

"Hai dunia!" di OCaml

print_endline "Hello World!"

Eksekusi, Bahasa, istilah Pengaturcaraan