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

Simon Richard Clarkstone simon.clarkstone at gmail.com
Sun Oct 5 18:22:03 EDT 2008


John Van Enk wrote:
> "You shoot the gun, but the bullet gets trapped in the IO monad."

The community points you at the paper "Bang-bang-patterns: expressing 
lethal weaponry in the Haskell typesystem".  Your head explodes.

BTW, these could go on the wiki.

-- 
src/
-XIncomprehensibleTypes  Equivalent to all of:
     -fallow-inconvinient-types, -XOmnipotentInstances, -XFunkyFunctors,
     -XSuperTuringTypes, -XErraticTypeClasses, -XCoAntiRetroHyperArrows


More information about the Haskell-Cafe mailing list