OCaml

Uma linguagem de programação de propósito geral, multi-paradigma, que estende a linguagem de programação Caml com recursos orientados a objetos.