The most modern representative of the Caml dialect of ML, a statically typed strict impure functional programming language. It features several advances over its ancestor, Caml Light; the most significant of these is an object-oriented extension to the type system, which allows for a different style of modular programming (than the module system provides on its own).

OCaml is one of the most popular functional programming environments available for Unix-like systems today, in large part because of its focus on pragmatics:

Also, Objective Caml teams have consistently come up on top at the ICFP programming contest. This year (2000), OCaml teams took both first and second prizes for excellent performance and correctness in their raytracers which had to accept a specific language. See the Caml homepage ( for more details.

This is the genealogy of the programming language Objective Caml:

Objective Caml is a child of Caml.
Objective Caml was born in year 1996.
It became O'Caml 2 in year 1998.
It became O'Caml 3.00 in year 2000, and has not changed much since that time.

This genealogy is brought to you by the Programming Languages Genealogy Project.

Log in or register to write something here or to contact authors.