[Haskell-cafe] ANN: The Typeclassopedia, and request for feedback

George Pollard 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?

- George
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
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 mailing list