Chapter 2. Traits and Type Manipulation

We hope the numerical bias of Chapter 1 didn't leave you with the impression that most metaprograms are arithmetic in nature. In fact, numeric computation at compile time is comparatively rare. In this chapter you'll learn the basics of what is going to be a recurring theme: metaprogramming as "type computation."