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。