Koenig lookup from clcm

[kwikius]

Brothers! We must stand against the reactionary forces. IOW this post seems
to have disappeared into a hole on clcm. and I much prefer clc anyway....
"Walter Bright" <wa****@digitalmars-nospamm.comwrote in message
news:jY******************************@comcast.com. ..

David Abrahams wrote:

>But C++ TMP is pretty much irrelevant to Generic Programming.

I agree you can do GP without TMP, after all Java does it, but without
TMP I suspect GP is not that useful.

Absolutely. for example see

http://www.boost.org/community/gener...type_generator

For myself I prefer thinking in terms of type functions and type expressions
than TMP. TMP is after all just a hack for computing the results of
expressions on types in C++, and ideally a language should have a more
expressive and concise syntax than TMP. Similarly maybe substitute another
term for Generic Programming, if its an unofficial copyright trademark of
Alexander Stepanov as seems to be the case, else we end up in C++ dogma. I
like the term Functions and Expressions acting on Archetypes, where an
Archetype describes some common characteristics based on some view
specifically making a set of types rather than expressions.

The difference between Archetypes and Expressions acting on Archetypes is
important and doesnt seem too well defined in C++ concepts last time I
looked. This may be because of the confusing TMP heritage where types are
used as expressions...

;-)

regards
Andy Little