[Haskell-cafe] ANN: The Typeclassopedia, and request for feedback
porges at porg.es
Mon Feb 16 18:32:36 EST 2009
On Mon, 2009-02-16 at 15:30 +0100, Fraser Wilson wrote:
> Super! Also, best definition of bottom I've yet seen -- "ignoring _|
> _, which is a party pooper". Like good code, it's short, to the
> point, and obviously correct.
This brings up something I've thought about: On page 8, it is said that
Pointed doesn't need to be checked because the theorem comes for free,
but the free theorems paper was based upon total functions only; does
having _|_ affect the free theorem for Pointed?
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 197 bytes
Desc: This is a digitally signed message part
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20090217/903fe8f7/attachment.bin
More information about the Haskell-Cafe