關于OCaml，最早稱為Objective Caml，是Caml編程語言的主要實現，開發工具包含交互式頂層解釋器，字節碼編譯器以及最優本地代碼編譯器。Ocaml有一個巨大標準庫，使得可以像Python或者Perl語言一樣可以方便地開發各種應用程序。

對于程序員來說，OCaml由編程語言社區努力推廣，并提供有目標的支持，自動內存管理和設備的便攜性。目前可從蘋果的App Store獲下載OCaml應用程序。通過OCaml語言的應用特性，可以建立一個教代數的網站。

ocaml 簡單例子（Linux）

ocaml 注釋

單行注釋：

多行注釋：

OCaml中可以使用嵌套（ … *）塊， 因此我們可以很容易地注釋掉某一塊程序。

調用函數

在ocaml中，用括號括起參數和用逗號分隔參數是錯誤的。

一般情況下，括號只括起整個函數調用，不要括起函數調用的參數。

函數定義

ocaml函數的一些特性：

OCaml是強靜態類型的語言。（也就是說沒有如perl中的動態類型）。

OCaml用類型推導（type inference）來找出類型，所以大家無需注明類型。如果你用上述OCaml的toplevel，那么OCaml會顯示出它認為的函數類型。

OCaml不做任何的隱式轉換。如果你需要浮點數，你必須寫2.0，因為2是一個整數。OCaml從不執行任何自動類型轉換。

由于type inference的副作用，OCaml不允許任何形式的重載（包括操作符重載）。它用不同的運算符來表示“兩個整數相加”（用+）和“兩個浮點數相加”（用+.）。注意后者有一個點號。其他算術運算符（ -。， *.，/。 ）也是這樣。

OCaml返回函數的最后的表達式值，因此我們沒有必要如C中一樣寫return。

基本類型

int char float bool string unit（void的返回類型）