On Sun, 7 Jul 2002, Dan Sugalski wrote: > Basically what we need is a lookup matrix for each vtable method > (add, subtract, multiply, whatever) that we can index by left and > right types to get the actual method to call.
I suppose resolution based on distance in number-of-args dimensional type space is right out ;). I don't know if anyone has tried this or not, but it seems like it would be a good thing to brag^H^H^H^Htalk about to Java and Ruby folks. /s
