[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.
-XIncomprehensibleTypes Equivalent to all of:
-fallow-inconvinient-types, -XOmnipotentInstances, -XFunkyFunctors,
-XSuperTuringTypes, -XErraticTypeClasses, -XCoAntiRetroHyperArrows
More information about the Haskell-Cafe