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....
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
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