[Haskell-cafe] the Haskell notion of class vis-a-vis universal algebra?

Galchin, Vasili vigalchin at gmail.com
Thu Oct 23 03:19:54 EDT 2008


Hello,

       What is the relationship of a Haskell class to universal algebra? (a
refresher ... http://en.wikipedia.org/wiki/Universal_algebra) ... it seems
that all types that belong to a class are models? E.g. all "monads" have to
satisfy the "monad laws" stated in the Monad class, i.e. equational axioms!

Vasili
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20081023/e8c8bed7/attachment.htm


More information about the Haskell-Cafe mailing list