[Haskell-cafe] Inheritance and Wrappers

MattMan guitarmatt007 at hotmail.com
Tue Feb 1 02:54:56 CET 2011

Henning Thielemann wrote:
> If all methods of AbGroup can be defined for all Num types - why do you 
> want an AbGroup at all? You could simply write functions with Num 
> constraint.

Well, I'd rather not have to implement (*), abs, etc on every abelian group.

You may be also interested in existing approaches to algebra in Haskell:

Yes, in fact I am!  Thanks for the suggestion; it seems "numeric-prelude"
does [most of] the things I want.  Thanks all.
View this message in context: http://haskell.1045720.n5.nabble.com/Inheritance-and-Wrappers-tp3365126p3365555.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

More information about the Haskell-Cafe mailing list