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

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to