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.


Reply via email to