[Haskell-cafe] Re: The Proliferation of List-Like Types

[Chad Scherrer]

Antoine Latter <aslatter at gmail.com> wrote:
> From what I saw of Data.ByteString.Fusion, it relies on the assumption
> that the elements of the output array are of the same size and
> alignment as the elements of all of the arrays in the fused
> intermediate steps.  That way, all of the intermediate stages can
> mutate the output array in place.

I see a lot in there involving the elimination of intermediate data
structures, but nothing about destructive updates. The API is purely
functional, and what you're talking about would need to be done in the
IO monad to be sure you don't throw away stuff you might need to use
again.

Chad