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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
