Re: [Haskell-cafe] Shooting your self in the foot with Haskell

On Oct 1, 2008, at 1:46 PM, John Van Enk wrote:

"You shoot the gun, but the bullet gets trapped in the IO monad."

You have a shootFoot function which you've proven correct. QuickCheck validates it for arbitrary you-like values. It will be evaluated only when you end up at the hospital. You hope this doesn't come to pass, as it actually returns a bullet-ridden copy of yourself and you don't want to be garbage-collected. or foreign import ccall "shootparts.h shootfoot" shoot_foot :: Gun -> Programmer -> IO () -johnnnnnnn