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.

Thanks for this.  It's great to have it all in one place, and so entertainingly presented.

cheers,
Fraser.

On Mon, Feb 16, 2009 at 10:29 AM, Brent Yorgey <byorgey@seas.upenn.edu> wrote:
Hi all,

If you've noticed the lack of a HWN this week, that's because I've
been doggedly finishing my article entitled 'The Typeclassopedia',
which I have just submitted for publication in the Monad.Reader.
Here's the abstract:

   The standard Haskell libraries feature a number of type classes
   with algebraic or categorical underpinnings. Becoming a fluent
   Haskell hacker requires intimate familiarity with them all, yet
   acquiring this familiarity often involves combing through a
   mountain of tutorials, blog posts, mailing list archives, and IRC
   logs.

   The goal of this article is to serve as a starting point for the
   student of Haskell wishing to gain a firm grasp of its standard
   type classes. The essentials of each type class are introduced,
   with examples, commentary, and extensive references for further
   reading.

My hope is that this will be a valuable resource to the Haskell
community, especially those who are learning.  Any feedback would be
greatly appreciated, especially if it helps improve the article before
publication.  A draft can be found here:

   http://www.cis.upenn.edu/~byorgey/papers/typeclassopedia-draft-090216.pdf

Also see my blog post for a bit more info:

   http://byorgey.wordpress.com/2009/02/16/the-typeclassopedia-request-for-feedback/

happy haskelling!
-Brent
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe



--
http://thewhitelion.org/mysister