Arnaud Charlet wrote: > One possibility is to do what we do for Ada: have a style/coding checker > built into the compiler (C++ front-end) as a special switch, and enable this > switch during bootstrap, so that any such coding style violation is > transformed > into an error
Yes, this can be the technical implementation of limiting the set of C++ features. Additionally, it needs to be avoided that the limits get pushed out year after year, allowing, for example, inline templates in one year, template member functions the next year, and complete template metaprogramming the year after that. To this end, it must be made very hard to extend this subset of C++. Possibly it should require agreement from the Steering Comittee to do so. Bruno
