Array

Array.get a n は配列 a の n 番目の要素を返します。最初の要素は 0 番目で、最後の要素は Array.length a - 1 番目です。 Array.get a n の代わりに a.(n) と書くこともできます。

n が 0 から (Array.length a - 1) の範囲にない場合には Invalid_argument "index out of bounds" 例外が発生します。

Array.set a n x は a を破壊的に変更し、 n 番目の要素を x で置き換えます。 Array.set a n x の代わりに a.(n) <- x と書くこともできます。

n が 0 から (Array.length a - 1) の範囲にない場合には Invalid_argument "index out of bounds" 例外が発生します。

Array.make n x は長さ n の配列を新たに作り、その要素を x で初期化します。この配列の要素はすべて x と（述語 == の意味で）物理的に等価です。そのため、 x が変更可能な場合、 x はこの配列の全要素で共有されるため、配列の要素のいずれかを介して x を変更すると配列の要素がすべて同時に変更されます。

n < 0 か n > Sys.max_array_length の場合には Invalid_argument 例外が発生します。 x が float 型である場合には、配列の最大サイズは Sys.max_array_length / 2 になります。

Deprecated.Array.create は Array.make の別名です。

Array.init n f は長さ n の配列を作成し、 i 番目の要素を f i の戻り値で初期化します。言い換えると、 f を整数 0 から n - 1 に適用して、その結果を表にします。

n < 0 か n > Sys.max_array_length の場合には Invalid_argument 例外が発生します。 x が float 型である場合には、配列の最大サイズは Sys.max_array_length / 2

Array.make_matrix dimx dimy は、最初の次元が dimx、二番目の次元が dimy であるような二次元配列（配列の配列）を返します。この行列の要素はすべて e に物理的に等価な要素で初期化されます。行列 m の (x, y) 要素は m.(x).(y) でアクセスできます。

dimx か dimy のいずれかが負であるか Sys.max_array_length より大きい場合には Invalid_argument 例外が発生します。 e の値が浮動小数点数であった場合には、最大要素数は Sys.max_array_length / 2 になります。

Deprecated.Array.create_matrix は Array.make_matrix の別名です。

Array.append v1 v2 は配列 v1 と v2 を連結した新しい配列を返します。

Array.append と同じですが、配列のリストを連結します。

Array.sub a start len は、長さ len で、配列 a の start 番目から start + len - 1 番目の要素までを含む新しい配列を返します。

start と len が a の有効な部分配列を表さない場合、すなわち、 start < 0 である場合や、 len < 0 の場合、 start + len > Array.length a である場合には Invalid_argument "Array.sub" 例外が発生します。

Array.copy a は配列 a のコピー、すなわち、 a と同じ要素を格納した新しい配列を返します。

Array.fill a ofs len x は配列 a を破壊的に変更し、 a の ofs から ofs + len - 1 番目に x を格納します。

ofs と len が a の有効な部分配列を表さない場合には Invalid_argument "Array.fill" 例外が発生します。

Array.blit v1 o1 v2 o2 len は配列 v1 の o1 番目の要素から len 個の要素を、配列 v2 の o2 番目にコピーします。この関数は v1 と v2 が同一の配列で、コピー元とコピー先の区間に重なりがあった場合にも正しく動作します。

o1 と len が v1 の有効な部分配列を表さない場合や、 o2 と len が v2 の有効な部分配列を表さない場合は Invalid_argument "Array.blit" 例外が発生します。

Array.to_list a は a の全要素のリストを返します。

Array.of_list l は l のすべての要素を格納した新たな配列を返します。

Array.iter f a は関数 f を a のすべての要素に順に適用します。これは、 f a.(0); f a.(1); ...; f a.(Array.length a - 1); () と等価です。

Array.map f a は a の全要素に関数 f を適用し、その戻り値で配列を作ります。 [| f a.(0); f a.(1); ...; f a.(Array.length a - 1) |] と等価です。

Array.iter と同じですが、関数の第一引数として要素の添字を渡し、第二引数として要素自体を渡します。

Array.map と同じですが、関数の第一引数として要素の添字を渡し、第二引数として要素自体を渡します。

Array.fold_left は f (... (f (f x a.(0)) a.(1)) ...) a.(n-1) を計算します。ここで n は配列 a の長さです。

Array.fold_right f a x は f a.(0) (f a.(1) ( ... (f a.(n-1) x) ...)) を計算します。ここで n は配列 a の長さです。

配列を比較関数に関して昇順に整列させます。比較関数は引数が等しい場合には 0 を返し、第一引数がより大きい場合には正の整数を返し、第一引数がより小さい場合には負の整数を返さなければなりません（完全な仕様については下を見て下さい）。例えば compare は、浮動小数点数の NaN がデータに現れない場合には適切な比較関数です。 Array.sort を呼び出すと、配列は昇順に破壊的に変更されます。 Array.sort は一定のヒープ空間を使い、（最悪の場合）対数オーダーのスタック空間を使います。

現在の実装はヒープソートを使っています。この実装は一定のスタック空間で実行できます。

比較関数の仕様: a を配列とし、 cmp を比較関数とします。 a 中のすべての x、 y、 x について以下を満たさなければなりません。

cmp y x < 0 の場合、かつその場合にかぎり cmp x y > 0
cmp x y >= 0 かつ cmp y z >= 0 のとき cmp x z >= 0

Array.sort から返ると、 a はもとと等しい要素を格納し、有効な添字 i、 j について要素が次の条件を満たすように並べ換えられたものになります。

i >= j の場合、かつその場合に限り、 cmp a.(i) a.(j) >= 0。

Array.sort と同じですが、整列アルゴリズムが安定で（すなわち、等しいと判定された要素はもとの順序が保たれます）、一定のヒープ空間で実行できることが保証されません。

現在の実装はマージソートです。この実装は、配列の長さを n としたとき、 n / 2 語のヒープ空間を使います。多くの場合、 Array.sort の実装よりも高速です。

Module Array

整列