I am starting to learn about template metaprogramming (for example,
http://extreme.indiana.edu/~tveldhui/papers/Template-Metaprograms/meta-art.html)

If template metaprogramming is truly desirable, don't we really want a
language that supports it directly, rather than through strange tricks
(incantations)?  Are there any proposals for implementing this?


[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://reality.sgi.com/austern_mti/std-c++/faq.html              ]

nbecker@fred.net writes:
> If template metaprogramming is truly desirable, don't we really want a
> language that supports it directly, rather than through strange tricks
> (incantations)?  Are there any proposals for implementing this?

It's truly desirable in the context of C++, where the ultimate end
is to produce very optimized inlined code.
---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://reality.sgi.com/austern_mti/std-c++/faq.html              ]