[Haskell-cafe] Functional progr., images, laziness and all therest
noteed at gmail.com
Thu Jun 22 10:01:56 EDT 2006
2006/6/22, Brian Hulley <brianh at metamilk.com>:
> Jerzy Karczmarczuk wrote:
> > Brian Hulley wrote:
> > y IS NOT a longer list than yq, since co-recursive equations without
> > limiting cases, apply only to *infinite* streams. Obviously, the
> > consumer of such a stream will generate a finite segment only, but it
> > is his/her/its problem, not that of the producer.
> I still don't understand this point, since y = (a*x0 : yq) so surely by
> induction on the length of yq, y has 1 more element?
y and yq are infinite...
More information about the Haskell-Cafe