Funzione partizionata

Nome completo: Std.Arrays.Partitioned

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

Sommario

Suddivide una matrice in più parti.

Immissione

partitionSizes

Numero di elementi in ogni parte divisa della matrice.

array

Matrice di input da dividere.

Prodotto

Più matrici in cui la prima matrice è la prima partitionSizes[0] di array e la seconda matrice sono le partitionSizes[1] successive di array e così via. L'ultima matrice conterrà tutti gli elementi rimanenti. Se la matrice è suddivisa esattamente, l'ultima matrice sarà la matrice vuota, a indicare che non sono presenti elementi rimanenti. In altre parole, Tail(Partitioned(...)) restituirà sempre gli elementi rimanenti, mentre Most(Partitioned(...)) restituirà sempre le partizioni complete della matrice.

Esempio

// 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]);