[Haskell] Per-type function namespaces (was: Data.Set whishes)
David Bergman
davidb at home.se
Thu Feb 26 19:45:03 EST 2004
Gabriel wrote:
> | This overloading by namespace is usually called either ADL
> | (Argument-Dependent Lookup) or Koenig Lookup (especially in C++.)
>
> Actually in C++, it is called "argument dependent name
> lookup", and that is the way the C++ definition text calls
> it. As Andy Koenig has himself pointed out, he did not invent
> that rule. He mentionned it when the C++ committee was
> solving a name look-up problem posed by namespaces to
> operator functions. That name look-up rule was later
> generalized to non-operator to cover the function-call syntax
> -- which is what is most known today and referred to above.
>
> This ends my C++ hour on Haskell list :-)
Yeah! Get back to that dark corner where people solve real problems! ;-)
/David
More information about the Haskell
mailing list