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