[Haskell-cafe] On the purity of Haskell

Jerzy Karczmarczuk jerzy.karczmarczuk at unicaen.fr
Sun Jan 1 23:57:00 CET 2012

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

More information about the Haskell-Cafe mailing list