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

[Lyndon Maydwell]

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