OCaml

Etymology
Short from its former name,.

Proper noun

 * 1)  A general-purpose, multi-paradigm programming language based on the Caml dialect of ML.