Scala is famous in part for having one of the richest type systems of all mainstream programming languages today. Despite its reputation, Scala’s type system remains one of the most under-documented and jargon-heavy aspects of Scala.
This talk will turn the academese into English, providing an example-rich tour of Scala’s type system, covering all the things that make people call it “powerful”. This talk isn’t about showcasing a bunch of challenging little logical puzzles with types; on the contrary, this talk is about showing practical uses of Scala’s type system, making it work for you and your users. We’ll see how we can use it to improve usability by reducing boilerplate, meanwhile keeping code type-safe. From structural types, to type refinements, all the way to Scala’s unique flavor of dependent types, we’ll touch on the practical and not-so-practical of Scala’s type system, all through examples. Finally, we’ll go on to see what about Scala’s type system is changing in dotty, the experimental new Scala compiler under active development at EPFL.
Heather’s talk is now available on the Chariot Solutions site.
Tags: languages, scala
Location: Salon B
April 11th, 2016
11:30 AM - 12:30 PM