Caml，名称源自类别抽象机语言（，Caml）的缩写，一种函数式程式语言，是ML语言的方言之一。1985年，最早在法国高等师范学校（ENS）发展出来，现在主要由法国国立计算机及自动化研究院（INRIA）负责维护与发展。Caml的直译器最早是以LISP实作，因为它使用太多CPU与记忆体资源，被暱称为重量级Caml（Heavy CAML）。Xavier Leroy与Damien Doligez，以C语言重新发展的直译器，相对而言，被称为轻量级Caml（Caml Light）。在完整重写之后，它成为特别轻量化