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

On Wed, Feb 20, 2008 at 7:57 PM, Henning Thielemann wrote:

I think there can also be problems simply because the element type is no longer fixed to Word8 but also not entirely free, but restricted to Storable. E.g. you cannot simply replace SV.fromList . List.map f by SV.map f . SV.fromList because in the second form not only the result type of 'f' must be Storable, but the input type of 'f' must be Storable, too.

Hmm, interesting. But would we really need this? If we have [a] rewritten as a stream and SV rewritten as a stream, couldn't they still fuse? Loosely speaking, SV.fromList . List.map f -> (SV.unstream . List.stream) . (List.unstream . mapS f . List.stream) -> SV.unstream . mapS f . List.stream Chad