Funkcja partycjonowana

W pełni kwalifikowana nazwa: Std.Arrays.Partitioned

function Partitioned<'T>(partitionSizes : Int[], array : 'T[]) : 'T[][]

Streszczenie

Dzieli tablicę na wiele części.

Wkład

partitionSizes (rozmiary partycji)

Liczba elementów w każdej podzielonej części tablicy.

tablica

Tablica wejściowa, która ma zostać podzielona.

Wyjście

Wiele tablic, w których pierwsza tablica jest pierwszą partitionSizes[0]array, a druga tablica to następna partitionSizes[1]array itp. Ostatnia tablica będzie zawierać wszystkie pozostałe elementy. Jeśli tablica jest dokładnie podzielona, ostatnia tablica będzie pustą tablicą, wskazując, że nie ma pozostałych elementów. Innymi słowy, Tail(Partitioned(...)) zawsze zwróci pozostałe elementy, podczas gdy Most(Partitioned(...)) zawsze zwróci pełne partycje tablicy.

Przykład

// The following returns [[2, 3], [5], [7]];
let split = Partitioned([2, 1], [2, 3, 5, 7]);
// The following returns [[2, 3], [5, 7], []];
let split = Partitioned([2, 2], [2, 3, 5, 7]);