Re: Need a C++ compiler

I think the generic term is "raising the level of abstraction". You
can then see the broad picture and overall design more clearly And
the design is enforced by the compiler.

Already Concepts do similar in documentation in C++, so rather than
saying type x needs functions Y and Z and members A, B, and C, else
you will get a (compile or runtime) failure you simply say type x is
or must be a model of Concept X. Doing this in documentation is
useful, but crucially the rules arent enforced. This has consequences.
The first one is there is no way to test a Concept . This means that
Concepts are academic entities and types can slip through the net.

Like anything that is designed, Concepts themselves need to be
designed,redesigned and honed to get them right. They won't be correct
first time. It is very hard to test and use Concepts without being
able to enforce them. Basically template metaprogramming in C++ is
very similar to assembly language programming in this respect. It is
very hard to understand the code and very hard to track down errors.

A Concept is a concise and elegant way to express and ideally
enforce ... well a Concept ;-)