這是一個實現了ML語言的基礎上，Caml中輕方言擴展了一個完整的基於類的對象系統和強大的模塊系統標準ML的風格。
目的Caml中包括兩種編譯器。一個產生字節碼，然後通過一個C程序解釋。
這個編譯器跑得快，可以移植到幾乎任何32位或64位Unix平台上，並產生緊湊的代碼中等內存需求。
生成的程序的性能是一個bytecoded實現相當不錯的。
這個編譯器既可以用於作為一個獨立的，面向批處理的編譯器，產生獨立的程序，或者作為互動，頂層為基礎的系統。
其他編譯器生成高性能的本機代碼的數量
的處理器。
編譯需要更長的時間和更大的生成代碼，但生成的程序提供卓越的性能，同時保留了字節碼編譯的適度內存需求。
語言Objective Caml是Caml中語言最流行的變體。
從語言的角度看，它擴展了核心Caml中的語言，具有完全成熟的面向對象的層，以及一個強大的模塊系統中，所有連接通過聲音，多態型系統，其特點類型推理。
客觀Caml中系統是一個工業強度的實現這種語言，採用了高性能的本機代碼的編譯器（ocamlopt）9處理器架構（IA32，PowerPC的，AMD64，阿爾法，SPARC，MIPS，IA64，HPPA，StrongArm上）以及一個字節代碼編譯器（ocamlc）和交互式讀取的eval打印環路（ocaml的）為快速發展和便攜性。
客觀Caml中分佈包括一個全面的標準庫，重播調試器（ocamldebug），詞法分析器（ocamllex）和解析器（ocamlyacc）發電機組，預處理器漂亮的打印機（camlp4）和文檔生成器（ocamldoc）。
是什麼在此版本中是新的
- 更新，其中的Tcl / Tk 8.6。
- 拒絕在一個對象相同的方法或者實例變量的多個聲明。
- 傳播朝向模式匹配類型信息，即使是在多態變體的存在。
什麼的4.02.1版本是新的
- 更新，其中的Tcl / Tk 8.6。
- 拒絕在一個對象相同的方法或者實例變量的多個聲明。
- 傳播朝向模式匹配類型信息，即使是在多態變體的存在。
什麼的3.12.1版本是新的
- 芽固定的：
- 在未檢測到未使用的變量“包括（結構..結束）”
- 在頂層camlp4修改後的語法錯誤印刷（報導CAML列表）
- 配置：在Cygwin的 請不要定義_WIN32
- 硬化在兩個定制塊進行比較，具有不同組的定制操作的情況下通用比較。
- 在硬化的比較。
- 的expm1（）和log1p的固定錯自動檢測（）。
- 安裝ocamlmktop shell腳本的時候不要加後綴名為.exe
- ocamldoc：關係到ocamldoc選項的顯示小的修改
- 在OCAMLRUNPARAM巨大值修正錯誤
- 的聲明和caml_major_collection_slice的定義之間的不匹配
- 特點願望：
- 在增加了“-ml-代名詞”和“-mli-同義詞”選項ocamldep
- 加入'-ocamldoc'選項ocamlbuild
- 在時間的可能性選項添加到ocamlbuild
- 添加到當前camlp4解析器和打印機的訪問
- 改進了指令選擇了浮動的運算AMD64
- 添加了“usage_string”功能，精氨酸
- 與約束允許以一種公式添加到數據類型定義
- 允許合併“@Before”標籤，如其他的
- 允許依賴於文件“_oasis”
- 其他的變化：
- 改變默認次要堆大小從32K到256K的話。
- 在增加了新的操作“compare_ext”自定義模塊，比較與未裝箱的整數定制的格擋值時調用。
在這兩個bigarrays有各種不同的情況下bigarrays之間
什麼的3.12.0版本是新的
- 的形式{LBL =拍拍的記錄模式; _}標記並不是所有的標籤都列出來，有目的地。
- 警告現在編號和可以打開和關閉的情況。舊系統的信件指集警告仍然支持。
- 添加選項“-strict序”給力序列的左手部分具有類型單位。
- 地圖：實現有意義的地圖的設置功能
- 支持添加本地DYNLINK。
- 在警告7（代號“M”，方法重寫）的語義發生了變化（現在檢測到所有覆蓋，而不只是重複同一類體內定義），而現在是在默認情況下無效。
什麼的3.11.2版本是新的
- 的最小值和最大值w.r.t.更好的文檔為NaN
- ocamlbuild使用錯誤的編譯器為C文件
- 在ocamlbuild沒有使用正確的配置信息
- 在某些Windows安裝中，高的啟動時間為Unix的lib
- 與scanf函數和CRLF問題
- 在Windows下ocamlmklib問題
- 在BSD的問題套接字地址，例如在Unix.getnameinfo
- 問題浮動文字由GNU彙編程序解析
- 與模塊和私有類型問題
要求
- 在GNU C編譯器 - GCC
評論沒有發現