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

Thomas Davie wrote:

On 1 Aug 2010, at 11:43, Ertugrul Soeylemez wrote:

...

Ivan Lazar Miljenovic wrote:

...

No, a pure function is one without any side effects.

There are no functions with side effects in Haskell, unless you use hacks like unsafePerformIO. Every Haskell function is perfectly referentially transparent, i.e. pure.

This is why we badly need a new term, say, io-pure. That means, neither has side effects, nor produces an action that when run by the runtime has side effects.

Why? We have terms like 'IO computation' or 'monadic value', and that should hit the nail on the head. People should learn what type of computations the IO monad models, and generally they learn that quite early. I have the impression that to talk about something being impure in Haskell confuses people more than anything else. Greets, Ertugrul -- nightmare = unsafePerformIO (getWrongWife >>= sex) http://ertes.de/