Categorical Abstract Machine Language kısaltması. inria(the french national institute for research in computer science and control) tarafından geliştirilmiş en bilinen fonksiyonel proogramlama dilidir. 1981 geliştirilen ml dilini baz alır. sınıf ve nesne yapılarının 1990 yılında eklenmesiyle ocaml(objective caml) ismini aldı.
öğrenmesi kolay, hızlı bir dildir. haskell ile birlikte en çok kullanılan functional dildir. .net için geliltirilen f#(sharp) bu dili temel alır.
