[Haskell-cafe] Re: philosophy of Haskell

[Gregory Crosswhite]

 On 08/18/10 12:04, Gregory Crosswhite wrote:
> Now we have that loop' = loop''.
Oops!  I meant that loop' = loop'' in the world passing model, so that if

	loop' = \w0 -> let (w1, ()) = putStr "c" w0 in loop' w1
	loop'' = \w0 -> let (w1, ()) = putStr "c" w1 in loop' w1

then loop' = loop'' = const bottom.


Cheers,
Greg