Caml é uma linguagem de programação funcional criada por Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, e Pierre Weis em 1996. Caml é um dialecto do ML e tem muitas características em comum com o ML, tais como um sistema de tipo expressivo, inferência de tipo, recolha de lixo, e manuseamento de excepções.
Caml é uma linguagem de programação imperativa com uma camada orientada para objectos. É também possível escrever programas num estilo puramente funcional.
O sistema de tipo Caml permite um rico conjunto de anotações de tipo, incluindo inferência de tipo, o que significa que o programador não precisa de anotar explicitamente os tipos de variáveis e funções. Isto permite um código mais conciso e legível.
Caml tem também um rico conjunto de bibliotecas e ferramentas, o que o torna uma plataforma muito atractiva para o desenvolvimento.