I remember this discussion, lazy vectors would also enable an implementation of bytestring and (maybe) text only with unboxed vectors, unifying it all:
type ByteString = Vector Word8

2012/7/12 Evan Laforge <qdunkan@gmail.com>
he recent discussion of whether storablevector should be deprecated in
favor of vector reminded me: vector supports storable arrays, but it
doesn't support lazy arrays.  While storablevector has lazy arrays and
a builder, it doesn't support boxed types (it would be become misnamed
if it did!).

So it seems the niche of boxed lazy arrays is unfilled.  And if vector
grew a lazy variant it could subsume storablevector and we could
consolidate array libraries a little more.  It seems a lot of Writer
monad type stuff (logging etc.) could be made more efficient with a
boxed lazy array builder, at the cost of rougher grained laziness.

Does such a thing already exist?  I'd check hackage, but it's down...

http://www.downforeveryoneorjustme.com/http://hackage.haskell.org/

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe