Chapter 20 標準ライブラリ

このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。

last mod. 2009-09-10 (木) 17:07:58

この章は Objective Caml の標準ライブラリで提供される関数について述べます。標準ライブラリのモジュールは ocamlc コマンドによりユーザのオブジェクトコードファイルと自動的にリンクされます。そのため、標準ファイル中のモジュールは、リンク時にコマンドラインで .cmo ファイルを加えなくても使うことができます。同様に、インタラクティブモードでも、これらのグローバルな定義は .cmo ファイルをメモリにロードしなくてもトップレベルで使うことができます。

コアライブラリの Pervasive モジュールとは異なり、標準ライブラリからのモジュールは、コンパイルが始まるかトップレベルシステムが軌道されたときに自動的にオープンされます。そのため、これらのモジュールで提供される関数を使うには修飾された識別子を使うか、open コマンドを加える必要があります。

Conventions

リファレンスのため、モジュールは名前のアルファベット順で以下に並んでいます。それぞれのモジュールに対し、そのシグニチャの宣言は、短いコメントとともに1つずつタイプライターフォントで書かれています。すべてのモジュールとそれらがエクスポートする識別子は、この文書の最後にインデックスされています。

Module Arg: parsing of command line arguments
Module Array: array operations
Module ArrayLabels: array operations (with labels)
Module Buffer: extensible string buffers
Module Callback: registering Caml values with the C runtime
Module Char: character operations
Module Complex: Complex numbers
Module Digest: MD5 message digest
Module Filename: operations on file names
Module Format?: pretty printing
Module Gc?: memory management control and statistics; finalised values
Module Genlex: a generic lexical analyzer
Module Hashtbl: hash tables and hash functions
Module Int32: 32-bit integers
Module Int64: 64-bit integers
Module Lazy: deferred computations
Module Lexing: the run-time library for lexers generated by ocamllex
Module List?: list operations
Module ListLabels?: list operations (with labels)
Module Map?: association tables over ordered types
Module Marshal?: marshaling of data structures
Module MoreLabels?: Include modules Hashtbl, Map and Set with labels
Module Nativeint?: processor-native integers
Module Oo?: object-oriented extension
Module Parsing: the run-time library for parsers generated by ocamlyacc
Module Printexc: facilities for printing exceptions
Module Printf?: formatting printing functions
Module Queue: first-in first-out queues
Module Random: pseudo-random number generator (PRNG)
Module Scanf(未完成): formatted input functions
Module Set: sets over ordered types
Module Sort: sorting and merging lists
Module Stack: last-in first-out stacks
Module StdLabels: Include modules Array, List and String with labels
Module Stream: streams and parsers
Module String: string operations
Module StringLabels: string operations (with labels)
Module Sys: system interface
Module Weak: arrays of weak pointers

メニュー

Chapter 20 標準ライブラリ

Conventions