[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! ;-)


More information about the Haskell mailing list