All videos
All videos
Exploring Type-Level Programming in Scala
September 15, 2020
In this introduction to type-level programming in Scala, we are going to discuss how we can leverage the full power of the type system to verify domain properties of an application at compile-time, instead of doing runtime verifications at the value-level.
Tags
Other videos that you might like

Designing libraries for source and binary compatibility
Sébastien Doeraene

Enforce best coding practices with Scalafix linting
Vladimir Polushin

Spark with Ammonite and coursier
Alexandre Archambault

Integrating Developer Experiences – Build Server Protocol
Justin Kaeser