• Язык OCaml
• Расширения языка

Глава 11 Язык OCaml

Предисловие

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

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

Обозначения

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

• 1 Лексические соглашения
• 2 Значения
• 3 Имена
• 4 Выражения типов
• 5 Константы
• 6 Шаблоны
• 7 Выражения
• 8 Определения типов и исключений
• 9 Классы
• 10 Типы модулей (спецификации модулей)
• 11 Выражения модулей (реализации модулей)
• 12 Единицы компиляции