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
My Take on Scala 3 by Wiem Zine Elabidine
Wiem Zine Elabidine
Tooling for Scala 3 – Dotty support in Metals
Tomasz Godzik
Run Scalac, Run!
Zainab Ali
Q&A session with Martin Odersky and Scala 3 team
Martin Odersky, Sébastien Doeraene, Krzysztof Romanowski, Darja Jovanovic, Guillaume Martres, Nicolas Stucki