[Haskell-cafe] Comments from OCaml Hacker Brian Hurt

Anton van Straaten anton at appsolutions.com
Fri Jan 16 14:05:47 EST 2009

Philippa Cowderoy wrote:
> On Fri, 16 Jan 2009, Duncan Coutts wrote:
>> If you or anyone else has further concrete suggestions / improvements
>> then post them here now! :-)
> Spell out what associativity means 

It probably makes sense to do as Jeremy Shaw suggests and explicitly 
list the monoid laws, which would include the associative equality, but 
there really shouldn't be any other text in the definition of Monoid 
devoted to explaining what associativity means.  Instead, linking words 
like "associative" to a definition in a glossary would make sense.


More information about the Haskell-Cafe mailing list