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

Chris Smith writes:

...

I wonder: can writing to memory be called a “computational effect”? If yes, then every computation is impure.

I wonder if not the important bit is that pure computations are unaffected by other computations (and not whether they can affect other computations). Many pure computations have side effects (increases temperature, modifies hardware registers and memory, etc), but their effect can only be observed in IO. (E.g. Debug.Trace.trace provides a non-IO interface by use of unsafePerformIO which is often considered cheating, but in this view it really is pure.) -k -- If I haven't seen further, it is by standing in the footprints of giants