OCaml

OCaml （ [oʊˈkæməl] ） ， 是一個函數式 、 指令式 、 模塊化 、 面向對象的通用的編程語言 。 在和 ， 於1990年和1991年實現的ML方言Caml Light之上 ， Didier Rémy和Jérôme Vouillon ， 於1996年增加了面向對象特徵 ， 從而形成了 “ Objective Caml ” ， 在2011年時重命名爲 “ OCaml ” 。 OCaml工具鏈包括交互式頂層解釋器 、 字節碼編譯器 、 優化的本機代碼編譯器 ， 可逆調試器和一個包管理器 （ OPAM ） 。 OCaml最初開發於自動定理證明的場景中 ， 並在靜態分析和形式方法軟件中有超凡的存在感 。 此外 ， 它在系統編程 、 網頁編程和金融工程及其他應用領域都有嚴肅的應用 。 歷史上 ， Ascánder Suárez於1987年基於的 （ CAM ） ， 重新實現了早先的ML方言 ， 並用 “ 範疇抽象機語言 ” 的首字母簡寫將其命名爲Caml ， Caml Light放棄了這個抽象機器又進行了重新實現 。 OCaml是開放源代碼項目 ， 此項目的管理和大部分維護工作 ， 已經交由法國國家信息與自動化研究所 （ INRIA ） 。 在2000年代早期 ， 來自OCaml的元素被很多語言接納 ， 特別是F #和Scala 。