Chapter 8. Building scalable and extensible components
This chapter covers
- Building components in Scala
- A tour of various types of types in Scala
- Ad hoc polymorphism with type classes
- Solving expression problems in Scala
So far we’ve been working with Scala without paying any serious attention to its type system. The type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.
The challenge of learning about a type system is understanding the theory behind it. It’s always helpful to learn the fundamentals behind a good ...