
29 Dec
2011
29 Dec
'11
11:55 a.m.
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