19 Sep
2008
19 Sep
'08
1:59 p.m.
On Fri, 2008-09-19 at 16:30 +0100, Lennart Augustsson wrote:
I agree that lazy IO is a can with some worms in it. But it's not that strange. The readFile operation is in the IO monad, so it has an effect on the world. This effect is not finished when readFile returns, and from the world point of view it's not entirely deterministic.
On operating systems that fail to maintain file system consistency. Blaming an effect of an *operating system* misfeature on a *language* feature is somewhat perverse. jcc