[Haskell-cafe] Re: ANNOUNCE: HNOP 0.1

[Bill Wood]

On Fri, 2006-06-30 at 21:20 -0700, Bjorn Bringert wrote:
   . . .
> I guess this is related to the issue of exception handling. What if  
> the program is interrupted when it's halfway through doing nothing?  
> Ideally we would like to guarantee that it does nothing atomically.

This may be difficult to guarantee.  Consider:

1.  If it does nothing atomically then it does nothing atomically.

2.  But if it does nothing atomically then it is false that it does
    nothing atomically.

3. Ergo it is false that it does nothing atomically, from (1) and (2)
   by Reductio ad Absurdum.

 -- Bill Wood