[Haskell-cafe] Lazy series [was : Preventing sharing]
tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Sat Jan 9 08:15:52 UTC 2016
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 ...
More information about the Haskell-Cafe