[Haskell-cafe] Stream fusion for Hackage
ross at soi.city.ac.uk
Tue Nov 20 03:11:33 EST 2007
On Mon, Nov 19, 2007 at 10:30:11PM +1100, Roman Leshchinskiy wrote:
> I have to disagree here. Our streams can be used to model both inductive
> (i.e. tail-strict) and coinductive lists. What data structure is being
> modelled is not a property of the Stream data type but rather of the stream
> operations. For inductive data types, we just have to make sure that
> streams are always fully consumed.
I was saying that your "streams" are themselves coinductive objects.
Is that controversial?
More information about the Libraries