Scala Advanced, Part 1 - The Scala Type System

Scala Advanced, Part 1

The Escalate Software Scala Advanced course is intended for experienced Scala developers looking to improve their skills, particularly for library and API design and development. It covers topics needed to be effective in producing high quality, correct, powerful and flexible Scala libraries that are still easy to use by others.

Part 1 provides in depth knowledge of the Scala type system, an important precursor to any library development. We start off with a look at the dangers, and safe use, of mutable shared state in Scala, covering properties and caching. From there we delve into the Scala type system including:

• Generics
• Co- and Contra-Variance
• Upper and Lower Bounds
• Type Inference
• Type Parameters and Type Members
• Path Dependent Types
• Refinement Types
• Structural Types
• Recursive Types
• F-bounded Polymorphism

The final two modules then move on to the secondary Implicits type system that augments the regular Scala type system, covering:

• Simple Implicit Parameters
• Type Classes
• Implicit classes, objects and methods
• Type Class Composition
• Implicit Constraints
• =:= and <:<
• Implicit Class and Type Tags
• Implicit Conversions
• extends AnyVal

And more.

Parts 2 and 3 (available separately) cover topics like best practices, idioms, patterns, advanced functional programming, asynchronous programming, parser-combinators, macros, performance profiling and optimization, and much more. These parts rely on information presented during this advanced part 1 course.