本文檔旨在作為 OCaml 語言的參考手冊。它列出了語言結構，並給出它們精確的語法和非正式語義。它絕不是對該語言的入門教程。假設您已具備 OCaml 的良好工作知識。
本文未嘗試進行數學上的嚴謹性：詞語採用其直觀含義，沒有進一步的定義。因此，由於缺乏表達它們所需的數學框架，類型規則被省略了，儘管它們絕對是該語言完整正式定義的一部分。
該語言的語法以類似 BNF 的符號給出。終端符號以打字機字體顯示（像 這樣）。非終端符號以斜體字體顯示（像 那樣）。方括號 [...] 表示可選的組件。花括號 {…} 表示封閉組件的零次、一次或多次重複。帶有尾隨加號的花括號 {…}+ 表示封閉組件的一次或多次重複。括號（...）表示分組。