[Haskell-cafe] Re: Can we come out of a monad?

[Martijn van Steenbergen]

On 8/2/10 7:09, Ertugrul Soeylemez wrote:
> Given the definition of a Haskell function, Haskell is a pure language.
> The notion of a function in other languages is not:
>
>    int randomNumber();
>
> The result of this function is an integer.  You can't replace the
> function call by its result without changing the meaning of the program.

I'm not sure this is fair. It's perfectly okay to replace a call 
"randomNumber()" by that method's *body* (1), which is what you argue is 
okay in Haskell.

Martijn.


(1) Modulo some renaming, and modulo the complicated non-compositional 
meanings of control statements such as "return", etc.