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

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

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

Модуль Arg: парсинг аргументов командной строки
Модуль Array: операции с массивами
Модуль ArrayLabels: операции с массивами (с метками)
Модуль Atomic: атомные ссылки
Модуль Bigarray: большие многомерные числовые массивы
Модуль Bool: булевы значения
Модуль Buffer: расширяемые буферы
Модуль Bytes: последовательности байтов
Модуль BytesLabels: последовательности байтов (с метками)
Модуль Callback: регистрация значений OCaml в среде выполнения C
Модуль Char: операции с символами
Модуль Complex: комплексные числа
Модуль Condition: переменные условия для синхронизации между потоками
Модуль Domain: создание/присоединение доменов и локальных переменных домена
Модуль Digest: хэш-сумма MD5
Модуль 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: значения типа «результат»
Модуль Runtime_events: отслеживание событий во время выполнения
Модуль Scanf: функции форматированного ввода
Модуль Seq: функциональные итераторы
Модуль Set: множества над упорядоченными типами
Модуль Semaphore: семафоры, еще один механизм синхронизации потоков
Модуль Stack: стеки «последним вошел — первым вышел»
Модуль StdLabels: включает модули Array, List и String с метками
Модуль String: операции со строками
Модуль StringLabels: операции со строками (с метками)
Модуль Sys: интерфейс системы
Модуль Uchar: символы Unicode
Модуль Unit: значения типа «единица»
Модуль Weak: массивы слабых указателей