31 May
2011
31 May
'11
4:59 p.m.
On Tuesday 31 May 2011 22:35:26, Yves Parès wrote:
He intended to show that, indeed, it is not, or else side-effects would never be performed
On the other hand, IO is lazy in the values it produces. Going with the IO a = State RealWorld a fiction, IO is state-strict but value-lazy. The side-effects affect the state, hence are performed, the values are only evaluated to the extent required to determine the state.