[Haskell-cafe] A question about "monad laws"

Wolfgang Jeltsch g9ks157k at acme.softbase.org
Fri Mar 14 10:13:49 EDT 2008


Am Donnerstag, 13. März 2008 21:10 schrieben Sie:
> Not to be picky, but where did you hear that (==) established an
> equivalence relation?

I think that’s the way it should be according to most Haskeller’s opinion.  It 
might be true that the Haskell 98 report doesn’t say so but I think that many 
library types and functions (Data.Set stuff, for example) rely on this.  A 
future standard should state laws an instance has to obey for every class it 
introduces.

> […]

Best wishes,
Wolfgang


More information about the Haskell-Cafe mailing list