Модуль Массив

Псевдоним для типа массивов.

Возвращает длину (количество элементов) данного массива.

get a n возвращает элемент с номером n массива a. Первый элемент имеет номер 0. Последний элемент имеет номер length a - 1. Вы также можете использовать a.(n) вместо get a n.

set a n x изменяет массив a на месте, заменяя элемент с номером n на x. Вы также можете использовать a.(n) <- x вместо set a n x.

make n x возвращает новый массив длины n, инициализированный значением x. Все элементы этого нового массива изначально физически равны x (в смысле предиката ==). Следовательно, если x изменяем, он совместно используется всеми элементами массива, и изменение x через одну из ячеек массива изменит все другие ячейки одновременно.

create_float n возвращает новый массив чисел с плавающей точкой длины n, с неинициализированными данными.

init n f возвращает новый массив длины n, с элементом с номером i инициализированным результатом f i. Другими словами, init n f табулирует результаты f, применённые к целым числам от 0 до n-1.

make_matrix dimx dimy e возвращает двумерный массив (массив массивов) с первой размерностью dimx и второй размерностью dimy . Все элементы этой новой матрицы изначально физически равны e . Элемент (x,y) матрицы m доступен с помощью обозначения m.(x).(y).

append v1 v2 возвращает новый массив, содержащий конкатенацию массивов v1 и v2.

То же самое, что и Array.append, но конкатенирует список массивов.

sub a pos len возвращает новый массив длиной len, содержащий элементы с номерами от pos до pos + len - 1 массива a.

copy a возвращает копию a, т.е. новый массив, содержащий те же элементы, что и a.

fill a pos len x изменяет массив a на месте, сохраняя x в элементах с номерами от pos до pos + len - 1.

blit src src_pos dst dst_pos len копирует len элементов из массива src, начиная с элемента с номером src_pos, в массив dst, начиная с элемента с номером dst_pos. Он работает корректно, даже если src и dst — один и тот же массив, а фрагменты исходного и целевого массивов перекрываются.

to_list a возвращает список всех элементов a.

of_list l возвращает новый массив, содержащий элементы l.

iter f a применяет функцию f поочерёдно ко всем элементам a. Это эквивалентно f a.(0); f a.(1); ...; f a.(length a - 1); ().

То же самое, что и Array.iter, но функция применяется к индексу элемента в качестве первого аргумента, а сам элемент - как второй аргумент.

map f a применяет функцию f ко всем элементам a и строит массив с результатами, возвращёнными f: [| f a.(0); f a.(1); ...; f a.(length a - 1) |].

То же самое, что и Array.map, но функция применяется к индексу элемента в качестве первого аргумента, а сам элемент - как второй аргумент.

fold_left f init a вычисляет f (... (f (f init a.(0)) a.(1)) ...) a.(n-1), где n — длина массива a.

fold_left_map — это комбинация Array.fold_left и Array.map, которая передаёт аккумулирующее значение через вызовы f.

fold_right f a init вычисляет f a.(0) (f a.(1) ( ... (f a.(n-1) init) ...)), где n — длина массива a.

iter2 f a b применяет функцию f ко всем элементам a и b.

map2 f a b применяет функцию f ко всем элементам a и b, и строит массив с результатами, возвращёнными f: [| f a.(0) b.(0); ...; f a.(length a - 1) b.(length b - 1)|].

for_all f [|a1; ...; an|] проверяет, удовлетворяют ли все элементы массива предикату f. То есть, возвращает (f a1) && (f a2) && ... && (f an).

exists f [|a1; ...; an|] проверяет, удовлетворяет ли хотя бы один элемент массива предикату f. То есть, он возвращает (f a1) || (f a2) || ... || (f an).

То же, что и Array.for_all, но для предиката с двумя аргументами.

То же, что и Array.exists, но для предиката с двумя аргументами.

mem a set истинно тогда и только тогда, когда a структурно равен элементу l (т.е. существует элемент x в l, такой что compare a x = 0).

То же, что и Array.mem, но использует физическое равенство вместо структурного равенства для сравнения элементов списка.

find_opt f a возвращает первый элемент массива a , удовлетворяющий предикату f, или None если в массиве a нет значения, удовлетворяющего f.

find_map f a применяет f к элементам a в порядке следования и возвращает первый результат вида Some v, или None если таковых не существует.

split [|(a1,b1); ...; (an,bn)|] является ([|a1; ...; an|], [|b1; ...; bn|]).

combine [|a1; ...; an|] [|b1; ...; bn|] является [|(a1,b1); ...; (an,bn)|]. Вызвать Invalid_argument если у двух массивов разная длина.

Сортирует массив в порядке возрастания согласно функции сравнения. Функция сравнения должна возвращать 0, если ее аргументы равны, положительное целое число, если первый больше, и отрицательное целое число, если первый меньше (полная спецификация приведена ниже). Например, compare — подходящая функция сравнения. После вызова sort, массив сортируется на месте в порядке возрастания. sort гарантированно выполняется в постоянном объеме памяти и (максимум) логарифмическом объеме стека.

Текущая реализация использует сортировку кучей. Она выполняется в постоянном объеме памяти стека.

Спецификация функции сравнения: Пусть a — массив, а cmp — функция сравнения. Следующее должно выполняться для всех x, y, z в a :

• cmp x y > 0 тогда и только тогда, когда cmp y x < 0
• если cmp x y >= 0 и cmp y z >= 0, то cmp x z >= 0

Когда sort возвращается, a содержит те же элементы, что и прежде, но переупорядоченные таким образом, что для всех i и j, являющихся допустимыми индексами a :

• cmp a.(i) a.(j) >= 0 тогда и только тогда, когда i >= j

То же, что и Array.sort, но алгоритм сортировки устойчив (т.е. элементы, которые равны при сравнении, сохраняются в их исходном порядке) и не гарантирует выполнения в постоянном объеме памяти.

Текущая реализация использует сортировку слиянием. Она использует временный массив длиной n/2, где n — длина массива. Обычно она быстрее текущей реализации Array.sort.

То же, что и Array.sort или Array.stable_sort, какой из них быстрее на типичном вводе.

Итерация по массиву в порядке возрастания. Изменения массива во время итерации будут отражены в последовательности.

Итерация по массиву в порядке возрастания, возвращающая индексы вместе с элементами. Изменения массива во время итерации будут отражены в последовательности.

Создание массива из генератора