Caml，名称源自类别抽象机语言（英语：Categorical Abstract Machine Language，Caml）的缩写，一种函数式编程语言，是ML语言的方言之一。1985年，最早在法国高等师范学校（ENS）发展出来，现在主要由法国国立计算机及自动化研究院（INRIA）负责维护与发展。

Caml的解释器最早是以LISP实作，因为它使用太多CPU与内存资源，被暱称为重量级Caml（Heavy CAML）。Xavier Leroy与Damien Doligez，以C语言重新发展的解释器，相对而言，被称为轻量级Caml（Caml Light）。在完整重写之后，它成为特别轻量化Caml（CAML Special Light），成为核心语言外的一层应用程序模块系统。

Caml (originally an acronym for Categorical Abstract Machine Language) is a dialect of the ML programming language family, developed at INRIA and formerly at ENS.

Like many descendants of ML, Caml is statically typed, strictly evaluated, and uses automatic memory management.