May 2013
Intermediate to advanced
1376 pages
47h 26m
English
Now is a good time to put your work on a firm theoretical basis.
– Sam Morgan
• Concepts
Discovering a Concept; Concepts and Constraints
Axioms; Multi-argument Concepts; Value Concepts; Constraints Checks; Template Definition Checking
• Advice
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 ...