Ocaml

由於caml的讀音與camel一致，OCaml的吉祥物自然被定為駱駝，而以OCaml服務為主的軟件也通常以駱駝的形象作為其LOGO。

OCaml將Caml語言在面向對象方面做了延展。Caml 是函數式編程語言，它的擴展語言還有基於微軟.net平台的 f# (fsharp)語言。Caml 的代碼大多可以在f#中使用。F#的開發工具有VS .net，Caml的代碼也可使用。

OCaml的開發工具包含交互式頂層解釋器(interactive toplevel interpreter)，字節碼編譯器(bytecode compiler)，以及最優本地代碼編譯器(optimizing native code compiler)。OCaml有一個巨大並強悍的標準庫，這使得她可以像Python或者Perl語言一樣可以方便地開發各種應用程序，健壯的模塊化與面向對象編程結構又使得她可以勝任大規模軟件工程項目。

OCaml是Caml的繼承者，CAML的縮寫最初代表着Categorical Abstract Machine Language(分類抽象機語言)，不過後來OCaml將這個抽象機淘汰掉了。如今人們更喜歡把CAML理解為Collaborative Application Markup Language(協作應用程序標記語言) ^[1]