OCaml é uma linguagem de programação de força industrial que suporta estilos funcionais, imperativos e orientados a objetos.
Inria