第 12 章语言扩展

16 仅扩展语法

(在 OCaml 4.02.2 中引入，在 4.03 中扩展)

在解析过程中会接受某些语法结构，但在类型检查过程中会被拒绝。因此，这些语法结构不能直接用在普通的 OCaml 中。但是，-ppx 重写器和其他外部工具可以利用解析器的这种宽松性，通过将这些新的语法结构重写为普通的结构，来扩展语言。

(在 OCaml 4.02.2 中引入，在 OCaml 4.12.0 中扩展为一元运算符)

有两种类型的运算符可用于扩展：以 # 字符开头并包含多个 # 字符的中缀运算符，以及以 ?、~ 或 ! 字符开头并包含至少一个 # 字符的一元运算符。

例如

# let infix x y = x##y;;

Error: ## 不是有效的标识符。

# let prefix x = !#x;;

Error: !# 不是有效的标识符。

请注意，## 和 !# 都必须由 ppx 重写器消除，才能使此示例有效。

(在 OCaml 4.03 中引入)

后面跟着一个字母标识符（在 [g..z∣G..Z] 范围内）的整数字面量和浮点字面量是仅扩展的字面量。