On Dec 29, 2011, at 11:01 AM, Iustin Pop wrote: > On Thu, Dec 29, 2011 at 05:55:24PM +0100, Iustin Pop wrote: >> On Thu, Dec 29, 2011 at 05:51:57PM +0100, Jerzy Karczmarczuk wrote: >>> Iustin Pop:: >>>> In practice too: >>>> >>>> bar _ = do >>>> s<- readFile "/tmp/x.txt" >>>> return (read s) >>>> >>>> Once you're in a monad that has 'state', the return value doesn't >>>> strictly depend anymore on the function arguments. >>> Nice example. PLEASE, show us the trace of its execution. Then, the >>> discussion might be more fruitful >> >> Sorry? >> >> I did the same mistake of misreading the grand-parent's "IO Int" vs. >> "Int", if that's what you're referring to. >> >> Otherwise, I'm confused as what you mean. > > And to clarify better my original email: yes, (bar x) always gives you > back the same IO action;
More precisely: the same *type*. > but the results of said IO action are/can be > different when executed. > -Gregg _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
