April 2013
Beginner to intermediate
416 pages
13h 46m
English
This chapter covers
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 ...
Read now
Unlock full access