On Wed, 27 Sep 2000, D. Tweed wrote:
> On Wed, 27 Sep 2000, Frank Atanassow wrote:
> > I see the problem for a language like C++, which has true overloading, but not
> > for Haskell. In Haskell it makes sense to identify type class methods with the
> > same name, since they are semantically related. You don't need to do any type
> > inference to index them; that only works when the instance is statically
> > decidable anyway.
Now I think about it, there's a problem even if you trust the programmer
to ensure type class instance methods are semantically related: suppose
I've got
class Clothing where
wear x = ....
class Abraidable where
wear x = ....
I wouldn't want those two to be in the same index group (or is that what
you meant by scoping -- I initially thought you meant things like let
bindings?)
___cheers,_dave________________________________________________________
www.cs.bris.ac.uk/~tweed/pi.htm|tweed's law: however many computers
email: [EMAIL PROTECTED] | you have, half your time is spent
work tel: (0117) 954-5250 | waiting for compilations to finish.