7 Feb
2001
7 Feb
'01
1:35 p.m.
07 Feb 2001 11:47:11 +0100, Ketil Malde
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 * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK