[Haskell-cafe] Lazy series [was : Preventing sharing]

[Tom Ellis]

On Sat, Jan 09, 2016 at 12:24:23AM +0100, Jerzy Karczmarczuk wrote:
> Le 08/01/2016 21:33, Tom Ellis a écrit :
> >On Fri, Jan 08, 2016 at 03:18:38PM -0500, Doug McIlroy wrote:
> >
> >	exps = 1 + integral exps
> >
> >Can you explain why the first line won't work for lazy lists in a strict
> >language?  It seems perfectly fine to me.
>
> If I understand well the issue, simply because at the RHS exps is
> not a thunk, it is evaluated, which breaks down the co-recursivity
> of the definition, even if the operators are delayed.

But if it evaluates to a thunk ...