編程語言 OCaml

Objective Caml（OCaml）是Caml編程語言的主要實現(xiàn)，由Xavier Leroy，Jér?me Vouillon，Damien Doligez，Didier Rémy及其他人于1996年創(chuàng)立。OCaml是開放原始碼項目。此項目的管理和大部分維護(hù)工作交由INRIA。

由于caml的讀音與camel一致，Ocaml的吉祥物自然被定為駱駝，而以O(shè)caml服務(wù)為主的軟件也通常以駱駝的形象作為其LOGO。

Objective Caml (OCaml) 是Caml編程語言的主要實現(xiàn)，由Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy及其他人于1996年創(chuàng)立。OCaml是開放源代碼項目。此項目的管理和大部分維護(hù)工作交由INRIA 完成。

OCaml將Caml語言在面向?qū)ο蠓矫孀隽搜诱埂aml 是函數(shù)式編程語言，它的擴(kuò)展語言還有基于微軟.net平臺的 f# (fsharp)語言。Caml 的代碼大多可以在f#中使用。F#的開發(fā)工具有VS .net，Caml的代碼也可使用。

OCaml的開發(fā)工具包含交互式頂層解釋器(interactive toplevel interpreter)，字節(jié)碼編譯器(bytecode compiler)，以及最優(yōu)本地代碼編譯器(optimizing native code compiler)。Ocaml有一個巨大并強(qiáng)悍的標(biāo)準(zhǔn)庫，這使得她可以像Python或者Perl語言一樣可以方便地開發(fā)各種應(yīng)用程序，健壯的模塊化與面向?qū)ο缶幊探Y(jié)構(gòu)又使得她可以勝任大規(guī)模軟件工程項目。

OCaml是Caml的繼承者，CAML的縮寫最初代表著Categorical Abstract Machine Language(分類抽象機(jī)語言)，不過后來OCaml將這個抽象機(jī)淘汰掉了。如今人們更喜歡把CAML理解為Collaborative Application Markup Language(協(xié)作應(yīng)用程序標(biāo)記語言)

介紹內(nèi)容來自百度百科