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

Serialization toolbox for Akka messages, events and persistent state that helps achieve compile-time guarantee on serializability
Paweł Lipski, Marcin Złakowski

Lessons to Scala Native from Kotlin/Native
Alexander Podkhalyuzin

Integrating Developer Experiences – Build Server Protocol
Justin Kaeser

Integrating IDEs with Dotty, the experimental Scala compiler
Guillaume Martres