"Marc Ziegert" <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
