• Язык программирования OCaml
• Расширения языка

Глава 11 Язык программирования OCaml

Предисловие

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

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

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

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

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