[Haskell-cafe] On the purity of Haskell

[Jerzy Karczmarczuk]

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

Jerzy Karczmarczuk