[Haskell-cafe] Lazy vs correct IO [Was: A round of golf]

Jonathan Cast 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.

jcc




More information about the Haskell-Cafe mailing list