10.16 Синтаксис, используемый только в расширениях

• 10.16.1 Операторы расширений
• 10.16.2 Литералы расширений

(Введено в OCaml 4.02.2, расширено в 4.03)

Некоторые синтаксические конструкции принимаются во время парсинга, но отклоняются во время проверки типов. Эти синтаксические конструкции поэтому не могут быть использованы напрямую в обычном OCaml. Однако, переписыватели -ppx и другие внешние инструменты могут использовать эту свободу парсера для расширения языка, переписывая эти новые синтаксические конструкции в обычные.

10.16.1 Операторы расширений

(Введено в OCaml 4.02.2, расширено до унарных операторов в OCaml 4.12.0)

Для расширений доступны два класса операторов: инфиксные операторы с именем, начинающимся с символа # и содержащим более одного символа #, и унарные операторы с именем (начинающимся с ?, ~ или ! символа), содержащим по крайней мере один символ #.

Например:

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

Error: '##' is not a valid value identifier.

# let prefix x = !#x;;

Error: '!#' is not a valid value identifier.

Обратите внимание, что как ##, так и !# должны быть удалены переписывателем ppx, чтобы этот пример стал корректным.

10.16.2 Литералы расширений

(Введено в OCaml 4.03)

Целые и вещественные литералы, за которыми следует однобуквенный идентификатор в диапазоне [g..z∣G..Z], являются литералами, используемыми только в расширениях.