Chapter 8 Generics
- 8.1 The Evolution of Generics Design
- 8.2 Contract-Based Generics
- 8.3 Type-Checking Techniques
- 8.4 The Future of Generics
"Concepts", in some ways, that's a very old topic; and other thinks it's new.
-- Bjarne Stroustrup, "Concepts: The Future of Generic Programming"
The basic idea of generic programming centers on how to abstract over concrete, efficient algorithms, and, by accounting for different data representations along the way, to arrive at a varied and general body of generic algorithms.