11.2 Значения

• 11.2.1 Базовые значения
• 11.2.2 Кортежи
• 11.2.3 Записи
• 11.2.4 Массивы
• 11.2.5 Значения-варианты
• 11.2.6 Полиморфные варианты
• 11.2.7 Функции
• 11.2.8 Объекты

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

11.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.

11.2.2 Кортежи

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

11.2.3 Записи

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

11.2.4 Массивы

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

11.2.5 Значения-варианты

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

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

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

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

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

11.2.7 Функции

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

11.2.8 Объекты

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