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

Thomas Davie tom.davie at gmail.com
Sun Aug 1 06:49:46 EDT 2010

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.


More information about the Haskell-Cafe mailing list