Graham Klyne GK@ninebynine.org
Sun, 08 Jun 2003 09:06:12 +0100

At 18:44 05/06/03 +0100, Liyang HU wrote:
> > I'd just about figured the ShowS idea, but I've yet to get a handle on 
> this
> > idea of [a] 'monoid'.
>Might http://www.engr.mun.ca/~theo/Misc/haskell_and_monads.htm be of any

Ah, thanks.  I see:

A monoid is an algebraic structure consisting of a set S and an operation * 
with the following properties ...

which is a datum I was missing.  (I still don't claim to understand it all, 
but at least I get a sense of whet the term monoid means.)


Graham Klyne
PGP: 0FAA 69FF C083 000B A2E9  A131 01B9 1C7A DBCA CB5E