Caml Caml英語Categorical Abstract Machine Language範疇抽象機語言是一種函數式指令式的程式語言最早由法國的INRIA和ENS联合的Formel项目發展出來是ML语言的两种方言之一現在主要由INRIA負責維護與發展Caml是一种语言规范它早期有过几个实现目前除了仍然活跃的OCaml发布于年的Caml Light是Caml的另一个实现