Caml es un lenguaje de programación funcional creado por Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy y Pierre Weis en 1996. Caml es un dialecto de ML y tiene muchas características en común con ML, como un sistema de tipos expresivo, inferencia de tipos, recolección de basura y manejo de excepciones.
Caml es un lenguaje de programación imperativo con una capa orientada a objetos. También es posible escribir programas en un estilo puramente funcional.
El sistema de tipos de Caml permite un amplio conjunto de anotaciones de tipos, incluida la inferencia de tipos, lo que significa que el programador no necesita anotar explícitamente los tipos de variables y funciones. Esto permite un código más conciso y legible.
Caml también cuenta con un rico conjunto de bibliotecas y herramientas, lo que la convierte en una plataforma muy atractiva para el desarrollo.