[Haskell-cafe] Re: [Haskell] Lazy IO breaks purity

[Brandon S. Allbery KF8NH]

On 2009 Mar 5, at 8:08, Simon Marlow wrote:
> So the argument is something like: we can think of the result of a  
> call to unsafeInterleaveIO as having been chosen at the time we  
> called unsafeInterleaveIO, rather than when its result is actually  
> evaluated. This is on dodgy ground, IMO: either you admit that the  
> IO monad contains an Oracle, or you admit it can time-travel.   I  
> don't believe in either of those things :-)

...hasn't sigfpe demonstrated "time travel" using comonads?

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH


-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 195 bytes
Desc: This is a digitally signed message part
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20090305/19984472/PGP.bin