本文档旨在作为 OCaml 语言的参考手册。它列出了语言结构，并给出了它们的精确语法和非正式语义。它绝不是语言的教程介绍。假设您已经具备了 OCaml 的基本知识。
没有尝试进行数学上的严格性：用词语的直观含义，没有进一步定义。因此，由于缺乏表达它们所需的数学框架，类型规则被省略了，而它们绝对是语言完整正式定义的一部分。
语言的语法用类似 BNF 的符号表示。终结符用打字机字体设置 (like this)。非终结符用斜体字体设置 (like that)。方括号 […] 表示可选组件。花括号 {…} 表示封闭组件的零次、一次或多次重复。带尾随加号的花括号 {…}+ 表示封闭组件的一次或多次重复。圆括号 (…) 表示分组。