Ich möchte eine Liste in eine Liste von Listen unterteilen, indem ich die Anzahl der Elemente in jeder Partition spezifiziere.

Angenommen, ich habe die Liste {1, 2, ... 11} und möchte sie so partitionieren, dass jede Menge 4 Elemente enthält, wobei die letzte Menge so viele Elemente wie möglich enthält. Die resultierende Partition würde wie folgt aussehen: {{1..4}, {5..8}, {9..11}}

Was wäre eine elegante Art, dies zu schreiben?