RE: [Haskell] Per-type function namespaces (was: Data.Set whishes)

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