[Haskell-cafe] Re: Can we come out of a monad?

Lyndon Maydwell maydwell at gmail.com
Mon Aug 2 00:47:24 EDT 2010

I thought it was pure as, conceptually, readFile isn't 'run' rather it
constructs a pure function that accepts a unique world state as a
parameter. This might be totally unrealistic, but this is how I see IO
functions remaining pure. Is this a good mental model?

> In terms of what a function does, is readFile actually pure?
> --
> Ivan Lazar Miljenovic

More information about the Haskell-Cafe mailing list