Hello everyone,
Recently i've been pondering on ADL, customization points and interface adaptation quite a bit. (TLDR there's a paper embedded in this email that try to address these problems, let me know what you think)
I've came up with this idea (hardly original, kind of a mash-up of type-classes, templates and namespace) of "type dependent namespace" (type-namespace for short) which try to address it all.
While playing around with various use cases, i've realized that to make the most out of this idea I needed something to control the set of symbols eligible for unqualified look-up, so I made up some new expressions (no new keywords though) for that (section "Symbols set control"). This could help considerably with the well known problem of wild and uncontrollable ADL.
You'll find it all in the embedded file (i've kept it very short). Eager to hear your thoughts.
Regards,