9 Jan
2016
9 Jan
'16
3:15 a.m.
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 ...