[Haskell-cafe] Lazy vs correct IO [Was: A round of golf]
jonathanccast at fastmail.fm
Fri Sep 19 13:59:18 EDT 2008
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.
More information about the Haskell-Cafe