On Wed, Jan 08, 2003 at 02:24:06PM +0100, Marc Ziegert wrote: > --------------------It would be nice to be able to overload class-functions like >classes: > > instance (+), (-) -> Vector where > (+) v1 v2 = ... > (-) v1 v2 = ... > ...
You seem to be making a general complaint, but there's been extensive
discussion about this particular instance. I agree with you that the
numeric hierarchy is too coarsely grained right here; do a search on
the archives for "numeric prelude" for an extensive discussion.
Your proposals seem interesting, but seem hard to implement/make
precise at first glance.
Best,
Dylan Thurston
msg12043/pgp00000.pgp
Description: PGP signature
