6 Apr
2006
6 Apr
'06
9:02 a.m.
Michael Goodrich wrote:
Also I know what strict means, but why are you saying that baz is strict?
Because otherwise the loop would be OK. For instance if baz were baz x = 100 -- lazy then the equations could be evaluated starting from c0 = baz z0 = 100 rd0 = c0*c0*m = 100*100*m -- etc. and eventually all the variables could be defined. Another example: the pair constructor (,) is lazy so c = (3, fst c) -- "loop" on c is OK, and defines c=(3,3). Regards, Roberto Zunino.