Re: Revamping the numeric classes

[Marcin 'Qrczak' Kowalczyk]

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