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. iustin _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
