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

Scala.meta semantic API
Eugene Burmako

The Scala Refactoring Library: Problems and Perspectives
Matthias Langer

Tools: I see what you did there: Incrementalism and Inference in Build Tools
Stu Hood

From Spark ML model creation to production application in 15 minutes with IBM Watson Machine Learning
Łukasz Ćmielowski, Alexandre Quemy