Overview

Advanced Type Mechanics is a comprehensive study of the full depth of the Scala type system, and the result of fifteen years of personal experience developing software with it.

The course is aimed at Scala developers who desire a fuller understanding of Scala types. It focuses on giving attendees a good mental model of every aspect of the type system: its different types, the relationships between them, their uses, behaviour and inference, and the algorithms which govern them. Building upon this foundation, the course explores how these concepts may be exploited to design APIs which are not just typesafe and correct, but intuitive and beautiful.

Who Should Attend

Scala developers who would like to better manipulate the type system to their requirements.

Prerequisites

You should be an experienced user of Scala, with two or more years of experience. You should already be familiar with the language concepts and syntax of Scala. The course does not use or require knowledge of any third-party Scala libraries

Topics

• Subtyping
• Singleton Types
• Composition of Types
• Existential Types
• Type Paths
• Erasure
• Type Bounds & Least Upper Bounds
• Variance
• Kinds
• Type Interference & Unification
• Implicit Search & Prioritization