Глава 30. Стандартная библиотека

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

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

Модуль Arg: разбор аргументов командной строки
Модуль Array: операции с массивами
Модуль ArrayLabels: операции с массивами (с метками)
Модуль Atomic: атомарные ссылки
Модуль Bigarray: большие многомерные числовые массивы
Модуль Bool: логические значения
Модуль Buffer: расширяемые буферы
Модуль Bytes: последовательности байтов
Модуль BytesLabels: последовательности байтов (с метками)
Модуль Callback: регистрация значений OCaml в среде выполнения C
Модуль Char: операции с символами
Модуль Complex: комплексные числа
Модуль Condition: переменные условий для синхронизации потоков
Модуль Domain: создание и присоединение доменов, локальные переменные домена
Модуль Digest: дайджест сообщений MD5
Модуль Dynarray: динамические массивы
Модуль Iarray: неизменяемые массивы
Модуль Effect: обработчики глубоких и поверхностных эффектов
Модуль Either: значения типа «одно из двух»
Модуль Ephemeron: эпhemerons и слабая хеш-таблица
Модуль Filename: операции с именами файлов
Модуль Float: числа с плавающей точкой
Модуль Format: форматированный вывод
Модуль Fun: функциональные значения
Модуль Gc: управление памятью и статистика; финализируемые значения
Модуль Hashtbl: хеш-таблицы и хеш-функции
Модуль In_channel: каналы ввода
Модуль Int: целые числа
Модуль Int32: 32-разрядные целые числа
Модуль Int64: 64-разрядные целые числа
Модуль Lazy: отложенные вычисления
Модуль Lexing: библиотека времени выполнения для лексических анализаторов, созданных с помощью ocamllex
Модуль List: операции со списками
Модуль ListLabels: операции со списками (с метками)
Модуль Map: таблицы ассоциаций для упорядоченных типов
Модуль Marshal: сериализация структур данных
Модуль MoreLabels: модули Hashtbl, Map и Set с метками
Модуль Mutex: блокировки для взаимного исключения
Модуль Nativeint: целые числа машинного размера
Модуль Oo: объектно-ориентированное расширение
Модуль Option: значения типа «опция»
Модуль Out_channel: каналы вывода
Модуль Pair: пары значений
Модуль Parsing: библиотека времени выполнения для парсеров, созданных с помощью ocamlyacc
Модуль Pqueue: очереди с приоритетами
Модуль Printexc: средства вывода исключений
Модуль Printf: функции форматированного вывода
Модуль Queue: очереди FIFO
Модуль Random: генератор псевдослучайных чисел (PRNG)
Модуль Repr: функции для низкоуровневого представления значений
Модуль Result: значения результата
Модуль Scanf: функции форматированного ввода
Модуль Seq: функциональные итераторы
Модуль Set: множества для упорядоченных типов
Модуль Semaphore: семафоры — ещё один механизм синхронизации потоков
Модуль Stack: стеки LIFO
Модуль StdLabels: модули Array, List, String и Iarray с метками
Модуль String: операции со строками
Модуль StringLabels: операции со строками (с метками)
Модуль Sys: системный интерфейс
Модуль Type: интроспекция типов
Модуль Uchar: символы Unicode
Модуль Unit: значения типа unit
Модуль Weak: массивы слабых указателей