Re: [Haskell-cafe] On the purity of Haskell

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