Scala for the Impatient, 3rd Edition

Chapter 20. Type-Level Programming

Topics in This Chapter L3

• 20.1 Match Types

• 20.2 Heterogeneous Lists

• 20.3 Literal Type Arithmetic

• 20.4 Inline Code

• 20.5 Type Classes

• 20.6 Mirrors

• 20.7 Type Class Derivation

• 20.8 Higher-Kinded Types

• 20.9 Type Lambdas

• 20.10 A Brief Introduction into Macros

• Exercises

Why use Scala instead of Java on the JVM? Sure, the Scala syntax is more concise and more regular than Java, but in the end, it is all about the types. Types help us express what we expect our programs to do. Type mismatches help detect programming errors early, when they are cheap to fix. You have already seen many instances where the Scala type system is richer than Java. This chapter introduces you to advanced techniques of “programming with types”—analyzing ...