Now is a good time to put your work on a firm theoretical basis.
– Sam Morgan
What are templates for? In other words, what programming techniques are effective when you use templates? Templates offer:
• The ability to pass types (as well as values and templates) as arguments without loss of information. This implies excellent opportunities for inlining, of which current implementations take great advantage.
• Delayed type checking (done at instantiation time). This implies ...