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的主要实作为OCaml。