On 2 August 2010 14:47, Lyndon Maydwell <maydw...@gmail.com> wrote: > 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?
That is what I believe Ertugrul is aiming at, but I believe that that is a "rule-lawyering" interpretation in trying to argue that all of Haskell is pure. We could use this same argument to state that _all_ programming languages are pure, as they too have implict "World" state variables that get passed around. -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com IvanMiljenovic.wordpress.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe