On 11/19/05, Steven T. Hatton
"In this paper, we develop a general formalism for describing the C++ programming language, and regular enough to cope with proposed extensions (such as concepts) for C++0x that affect its type system. Concepts are a mechanism for checking template arguments currently being developed to help cope with the massive use of templates in modern C++. The main challenges in developing a formalism for C++ are scoping, overriding, overloading, templates, specialization, and the C heritage exposed in the built-in types. Here, we primarily focus on templates and overloading."
http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1885.pdf
http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1886.pdf,
Steven,
Do you expect from the community to comment on that? Since these
proposals, among others concerning C++0x, are still under active
discussion and only experimental compilers in academic environments
have partially implemented some similar techniques, primarily to prove
that complete typed ASTs can be created with such a formalism
(although C++ is only one example here), it is of no interest for
this list. I think that comp.lang.c++ and comp.compilers are better
places to get into discussions on this issue (if that is what you
wanted).
\Steve
--
Steve Graegert