來源：互聯(lián)網(wǎng)
Caml是一種函數(shù)式、指令式的程式語言，是ML語言的兩種方言之一。它最早由法國的INRIA和ENS聯(lián)合的Formel項(xiàng)目發(fā)展出來，現(xiàn)在主要由INRIA負(fù)責(zé)維護(hù)與發(fā)展。Caml是一種語言規(guī)范，早期有過幾個實(shí)現(xiàn)，目前除了仍然活躍的OCaml，發(fā)布于2002年的Caml Light是Caml的另一個實(shí)現(xiàn)。Caml是靜態(tài)類型、嚴(yán)格求值的語言，使用自動內(nèi)存管理。OCaml是Caml的主要后代，添加了許多功能，包括一個對象層。
基本介紹
Caml，名稱源自類別抽象機(jī)語言（英語：Categorical?Abstract?Machine?Language，Caml）的縮寫，一種函數(shù)式編程語言，是ML語言的方言之一。1985年，最早在法國高等師范學(xué)校（巴黎高等師范學(xué)院）發(fā)展出來，現(xiàn)在主要由法國國立計算機(jī)及自動化研究院（INRIA）負(fù)責(zé)維護(hù)與發(fā)展。
Caml的直譯器最早是以LISP實(shí)作，因?yàn)樗褂锰郈PU與內(nèi)存資源，被昵稱為重量級Caml（Heavy?CAML）。Xavier?Leroy與Damien?Doligez，以c語言重新發(fā)展的直譯器，相對而言，被稱為輕量級Caml（Caml?Light）。在完整重寫之后，它成為特別輕量化Caml（CAML?Special?Light），成為核心語言外的一層應(yīng)用程式模組系統(tǒng)。
Caml的主要實(shí)作為OCaml。
參考資料 >