Compilation models for C++

[bearophile]

A nice article (that I've found with Reddit), "Five compilation models for C++ templates", by Todd L. Veldhuizen:
http://ubiety.uwaterloo.ca/~tveldhui/papers/2000/tmpw00/index.html

Among the things it shows there's running templated code with fully dynamic typing (6.1 Dynamic typing, with -T0), that may be useful to debug such code. (I think that's similar to what Descent is now doing).

Bye,
bearophile