[Haskell-cafe] Inheritance and Wrappers

[MattMan]

<\quote>
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:
   http://www.haskell.org/haskellwiki/Mathematical_prelude_discussion



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.