December 2022
Intermediate to advanced
528 pages
15h 41m
English
Much of the power—but also much of the learning curve—associated with modern languages like Scala or Rust—or newer incarnations of earlier languages, like Java—revolves around types. As an interlude between our exploration of functional and concurrent programming language features, this chapter discusses several type-related concepts from a developer’s perspective—no type theory here. Readers are likely to be familiar with common features, such as static and dynamic type checking, abstract data types, subtyping, and polymorphism, but maybe less comfortable with others—for example, type inference, type variance, type bounds, and type classes—that not all programming languages support.
Read now
Unlock full access