OCaml, joka tunnetaan myös nimellä Objective Caml ( Object- Oriental kategoric Abstract Abstract Language), on Caml-ohjelmointikielen objektikohtainen versio. Ocamlista on tullut vuonna 1996, ja siitä on tullut Camlin tärkein toteutus. Se käyttää interaktiivista tulkintaa, mutta sisältää kääntäjän binääristen suoritettavien tiedostojen luomiseksi. Se on vaikuttanut muihin laajalti käytettyihin ohjelmointikieliin, kuten F # ja Scala.

Huomautus: OCaml-ohjelmaa ei pidä sekoittaa O'Reillyn kamelinkirjoihin Perlin ohjelmointikielelle.

"Hei maailma!" OCamlissa

print_endline "Hei maailma!"

Suorittava, kieli, ohjelmointitermit