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

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

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

Модуль Arg: парсинг аргументов командной строки
Модуль Array: операции над массивами
Модуль ArrayLabels: операции над массивами (с метками)
Модуль Atomic: атомарные ссылки
Модуль Bigarray: большие многомерные числовые массивы
Модуль Bool: булевы значения
Модуль Buffer: расширяемые буферы
Модуль Bytes: последовательности байтов
Модуль BytesLabels: последовательности байтов (с метками)
Модуль Callback: регистрация значений OCaml в C-runtime
Модуль Char: операции над символами
Модуль Complex: комплексные числа
Модуль Condition: переменные условия для синхронизации между потоками
Модуль Domain: запуск/присоединение доменов и локальные переменные домена
Модуль Digest: хэш-сумма MD5
Модуль Dynarray: динамические массивы
Модуль Effect: глубокие и мелкозернистые обработчики эффектов
Модуль Either: значения «либо-либо»
Модуль Ephemeron: Эфемерные объекты и слабые хэш-таблицы
Модуль 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: каналы вывода
Модуль Parsing: библиотека времени выполнения для парсеров, сгенерированных ocamlyacc
Модуль Printexc: средства для вывода исключений
Модуль Printf: функции форматированного вывода
Модуль Queue: очереди «первым вошел — первым вышел»
Модуль Random: генератор псевдослучайных чисел (ПГЧ)
Модуль Result: значения результата
Модуль Scanf: функции форматированного ввода
Модуль Seq: функциональные итераторы
Модуль Set: множества над упорядоченными типами
Модуль Semaphore: семафоры, другой механизм синхронизации потоков
Модуль Stack: стеки «последним вошел — первым вышел»
Модуль StdLabels: модули Array, List и String с метками
Модуль String: операции над строками
Модуль StringLabels: операции над строками (с метками)
Модуль Sys: системный интерфейс
Модуль Type: интроспекция типов
Модуль Uchar: символы Unicode
Модуль Unit: значения типа «единица»
Модуль Weak: массивы слабых указателей