[Haskell-cafe] On the purity of Haskell

[Jerzy Karczmarczuk]

Dan Doel :
...
> Also, the embedded IO language does not have this property.
>
>      do x<- m ; f x x
>
> is different from
>
>      do x<- m ; y<- m ; f x y
>
> and so on. This is why you shouldn't write your whole program with IO
> functions; it lacks nice properties for working with your code.
Sorry, what are you trying to suggest?

You show two OBVIOUSLY different pieces of code, and you say that they 
are different.
If, by chance, some newbie reads that and gets the impression that (<-) 
is something equivalent to (=), you are serving the devil.

Jerzy Karczmarczuk