類別抽象機語言

Machin Lan Special

類別抽象機語言（英語：CategoricalAbstractMachineLanguage，Caml）的縮寫，一種函式式程式語言，是ML語言的方言之一。1985年，最早在法國高等師範學校（ENS）發展出來，現在主要由法國國立計算機及自動化研究院（INRIA）負責維護與發展。
Caml的直譯器最早是以LISP實作，因為它使用太多CPU與記憶體資源，被暱稱為重量級Caml（HeavyCAML）。XavierLeroy與DamienDoligez，以C語言重新發展的直譯器，相對而言，被稱為輕量級Caml（CamlLight）。在完整重寫之後，它成為特別輕量化Caml（CAMLSpecialLight），成為核心語言外的一層套用程式模組系統。