OCaml, juga dikenal sebagai Objective Caml ( Object-oriented Categorical Abstract Machine Language), adalah versi berorientasi objek dari bahasa pemrograman Caml. Sejak diperkenalkan pada tahun 1996, Ocaml telah menjadi implementasi utama Caml. Ini menggunakan interpreter interaktif, tetapi termasuk kompiler untuk membuat executable biner. Ini telah mempengaruhi bahasa pemrograman lain yang banyak digunakan, termasuk F # dan Scala.

Catatan: OCaml tidak harus bingung dengan buku-buku unta oleh O'Reilly untuk bahasa pemrograman Perl.

"Halo Dunia!" dalam OCaml

print_endline "Halo Dunia!"

Dapat dieksekusi, Bahasa, Istilah pemrograman