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

2 Значения

• 2.1 Базовые значения
• 2.2 Кортежи
• 2.3 Записи
• 2.4 Массивы
• 2.5 Значения вариантов
• 2.6 Полиморфные варианты
• 2.7 Функции
• 2.8 Объекты

В данном разделе описываются типы значений, используемые в программах на языке OCaml.

2.1 Базовые значения

Целые числа

Целочисленные значения представляют собой целые числа от −2³⁰ до 2³⁰−1, то есть от −1073741824 до 1073741823. Реализация может поддерживать более широкий диапазон целочисленных значений: на 64-битных платформах текущая реализация поддерживает целые числа от −2⁶² до 2⁶²−1.

Числа с плавающей точкой

Значения с плавающей точкой — это числа в представлении с плавающей точкой. Текущая реализация использует числа с двойной точностью, соответствующие стандарту IEEE 754, с 53 битами мантиссы и показателем степени от −1022 до 1023.

Символы

Значения символов представлены как 8-битные целые числа от 0 до 255. Коды символов от 0 до 127 интерпретируются в соответствии со стандартом ASCII. Текущая реализация интерпретирует коды символов от 128 до 255 в соответствии со стандартом ISO 8859-1.

Строки

Строковые значения представляют собой конечные последовательности символов. Текущая реализация поддерживает строки, содержащие до 2²⁴ − 5 символов (16777211 символов); на 64-битных платформах предел составляет 2⁵⁷ − 9.

2.2 Кортежи

Кортежи значений записываются (v₁, …, v_n), что обозначает n-кортеж значений от v₁ до v_n. Текущая реализация поддерживает кортежи до 2²² − 1 элементов (4194303 элементов).

2.3 Записи

Значения записей — это именованные кортежи значений. Значение записи, записанное { поле₁ = v₁; …; поле_n = v_n } ассоциирует значение v_i с полем записи поле_i для i = 1 … n. Текущая реализация поддерживает записи до 2²² − 1 полей (4194303 полей).

2.4 Массивы

Массивы представляют собой конечные последовательности значений одного типа с переменной длиной. Текущая реализация поддерживает массивы, содержащие до 2²² − 1 элементов (4194303 элементов), если элементы не являются числами с плавающей точкой (в этом случае 2097151 элемент); на 64-битных платформах ограничение составляет 2⁵⁴ − 1 для всех массивов.

2.5 Значения вариантов

Значения вариантов — это либо константный конструктор, либо неконстантный конструктор, применённый к нескольким значениям. В первом случае записывается констр; во втором случае записывается констр (v₁, ... , v_n ), где v_i являются аргументами неконстантного конструктора констр. Скобки можно опустить, если аргументов только один.

Следующие константы рассматриваются как встроенные константные конструкторы:

Текущая реализация ограничивает каждый тип варианта максимум 246 неконстантными конструкторами и 2³⁰−1 константными конструкторами.

2.6 Полиморфные варианты

Полиморфные варианты — это альтернативная форма значений вариантов, не принадлежащая явно предопределённому типу варианта, и следующая специфическим правилам типизации. Они могут быть либо константными, записанными `имя-метки, либо неконстантными, записанными `имя-метки(v).

2.7 Функции

Функциональные значения — это отображения значений в значения.

2.8 Объекты

Объекты состоят из скрытого внутреннего состояния, которое является записью переменных экземпляра, и набора методов для доступа к этим переменным и их изменения. Структура объекта описывается высшим классом, который его создал.