Scala for the Impatient, 3rd Edition

Chapter 18. Advanced Types

Topics in This Chapter L2

• 18.1 Union Types

• 18.2 Intersection Types

• 18.3 Type Aliases

• 18.4 Structural Types

• 18.5 Literal Types

• 18.6 The Singleton Type Operator

• 18.7 Abstract Types

• 18.8 Dependent Types

• 18.9 Abstract Type Bounds

• Exercises

In this chapter, you will see all the types that Scala has to offer, including some of the more technical ones.

The key points of this chapter are:

• A value belongs to a union or intersection type if it belongs to any or all of the constituent types.

• Structural types are similar to “duck typing” but are checked at compile time.

• Singleton types are useful for method chaining and methods with object parameters.

• A type alias gives a short name for a type.

• An opaque type alias hides a ...