[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