Koenig lookup from clcm

K

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 said:
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/generic_programming.html#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
 

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments. After that, you can post your question and our members will help you out.

Ask a Question

Members online

Forum statistics

Threads
474,170
Messages
2,570,927
Members
47,469
Latest member
benny001

Latest Threads

Top