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

[Thomas Davie]

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

> Ivan Lazar Miljenovic <ivan.miljenovic at gmail.com> 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.

Bob