Глава 11 Язык OCaml

Введение

Этот документ предназначен в качестве справочного руководства по языку OCaml. Он перечисляет конструкции языка и предоставляет их точный синтаксис и неформальную семантику. Это отнюдь не учебное пособие по введению в язык. Предполагается хорошее знание OCaml.

Не делалось попыток математической строгости: слова используются в их интуитивном значении без дальнейшего определения. Вследствие этого правила типизации были опущены из-за отсутствия математической основы для их выражения, хотя они определенно являются частью полного формального определения языка.

Обозначения

Синтаксис языка представлен в обозначениях, похожих на BNF. Терминальные символы набраны курсивом (как это). Нетерминальные символы набраны полужирным шрифтом (как то). Квадратные скобки […] обозначают необязательные компоненты. Фигурные скобки {…} обозначают ноль, один или несколько повторений заключенных компонентов. Фигурные скобки с последующим знаком плюс {…}⁺ обозначают одно или несколько повторений заключенных компонентов. Скобки (…) обозначают группировку.

• 11.1 Лексические соглашения
• 11.2 Значения
• 11.3 Имена
• 11.4 Типовые выражения
• 11.5 Константы
• 11.6 Шаблоны
• 11.7 Выражения
• 11.8 Определения типов и исключений
• 11.9 Классы
• 11.10 Типы модулей (спецификации модулей)
• 11.11 Выражения модулей (реализации модулей)
• 11.12 Единицы компиляции