Ocaml nace de la evolución del lenguaje CAML, abreviación de "Categorical Abstract Machine Language", al integrársele la programación con objetos.