12 Jan
2003
12 Jan
'03
2:37 p.m.
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