Caml是一种函数式、指令式的程式语言，是ML语言的两种方言之一。它最早由法国的INRIA和ENS联合的Formel项目发展出来，现在主要由INRIA负责维护与发展。Caml是一种语言规范，早期有过几个实现，目前除了仍然活跃的OCaml，发布于2002年的Caml Light是Caml的另一个实现。Caml是静态类型、严格求值的语言，使用自动内存管理。OCaml是Caml的主要后代，添加了许多功能，包括一个对象层。

基本介绍

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

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

Caml的主要实作为OCaml。

参考资料