07 Feb 2001 11:47:11 +0100, Ketil Malde <[EMAIL PROTECTED]> pisze: > If it is useful to have a fine granularity of classes, you can > imagine doing: > > class Multiplicative a b c where > (*) :: a -> b -> c Then a*b*c is ambiguous no matter what are types of a,b,c and the result. Sorry, this does not work. Too general is too bad, it's impossible to have everything at once. -- __("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
- Re: Revamping the numeric classes Ch. A. Herrmann
- Re: Revamping the numeric classes Ketil Malde
- Re: Revamping the numeric classes Marcin 'Qrczak' Kowalczyk
- Re: Revamping the numeric classes Dylan Thurston
- Re: Revamping the numeric classes andrew
- Re: Revamping the numeric classes Dylan Thurston
- RE: Revamping the numeric classes Peter Douglass
- Re: Revamping the numeric classes Marcin 'Qrczak' Kowalczyk
- Re: Revamping the numeric classes Dylan Thurston
- Re: Revamping the numeric classes Brian Boutel
- Re: Revamping the numeric classes Ketil Malde
- Re: Revamping the numeric classes Tom Pledger
- Re: Revamping the numeric classes Marcin 'Qrczak' Kowalczyk