Natural numbers under min don't form a monoid, only naturals under max do (so you can have a zero element) Brent Yorgey 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-fee dback/
happy haskelling! -Brent _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell