Глава 9 Язык OCaml

Введение

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

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

Условные обозначения

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

• 9.1 Лексические соглашения
• 9.2 Значения
• 9.3 Имена
• 9.4 Выражения типов
• 9.5 Константы
• 9.6 Шаблоны
• 9.7 Выражения
• 9.8 Определения типов и исключений
• 9.9 Классы
• 9.10 Типы модулей (спецификации модулей)
• 9.11 Выражения модулей (реализации модулей)
• 9.12 Единицы компиляции