Field labels must be globally unique?
Carl R. Witty
cwitty@newtonlabs.com
14 Jan 2003 15:09:20 -0800
"Marc Ziegert" <coeus@gmx.de> writes:
> --------------------It would be nice to be able to overload class-functions like classes:
>
> instance (+), (-) -> Vector where
> (+) v1 v2 = ...
> (-) v1 v2 = ...
>
> --------------------instead of overloading parts of a class... (because of runtime-errors!)
This seems related to "System CT"
(http://www.dcc.ufmg.br/~camarao/CT/). In System CT, everything is
(potentially) overloaded, and you don't have explicit type classes.
Carl Witty
cwitty@newtonlabs.com