I don't want to learn C++, but this writer has some interesting ideas which I want to be able to understand:
formatting link
ambda-calculus/He writes:-- start extract -------------- The canonical example of compile-time computation is factorial in templates: template