Maybe you could do a fold with a 'filler' that fills multiple elements
at a time to reduce the depth.
e.g. declare a bunch of:
void fillArray(Object[] arr, int startPos, Object a0, Object a1, ...) {
arr[startPos + 0] = a0;
arr[startPos + 1] = a1;
...
}
With differing arities,
Okay, the diagram turned out more crude than intended due to automatic
email formatting.
See here instead: http://cr.openjdk.java.net/~jvernee/Collector_Diag.txt
Jorn
On 05/04/2021 21:16, Jorn Vernee wrote:
Maybe you could do a fold with a 'filler' that fills multiple
elements at a time to
