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.[1]

1 Benjamin C. Pierce, Types and Programming Languages, 2002, The MIT Press, www.cis.upenn.edu/~bcpierce/tapl/.

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 ...

Get Scala in Action now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.