Chapter 18. Advanced Types

Topics in This Chapter L2

• 18.1 Singleton Types — page 246

• 18.2 Type Projections — page 247

• 18.3 Paths — page 248

• 18.4 Type Aliases — page 249

• 18.5 Structural Types — page 250

• 18.6 Compound Types — page 250

• 18.7 Infix Types — page 251

• 18.8 Existential Types — page 252

• 18.9 The Scala Type System — page 253

• 18.10 Self Types — page 254

• 18.11 Dependency Injection — page 255

• 18.12 Abstract Types L3 — page 257

• 18.13 Family Polymorphism L3 — page 259

• 18.14 Higher-Kinded Types L3 — page 263

• Exercises — page 265