The current type of Push Arrays does not allow some operations which ought to be possible for a Push Array: for instance folding into a monoid or unzipping. It seems that the DArray ->. () ought to be generalised somehow; at the moment, the only way to consume a Push Array is to allocate.
The current type of Push Arrays does not allow some operations which ought to be possible for a Push Array: for instance folding into a monoid or unzipping. It seems that the
DArray ->. ()ought to be generalised somehow; at the moment, the only way to consume a Push Array is to allocate.