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
