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
Analysis of Zinc
Eugene Yokota
Journey to the holy grail – Scala faster and smaller
Rodrigo Fernandes
Mutatis Mutandis: Typesafe, transactional, indexed database queries in the cloud
Jon Pretty
Tree-Structured RNNs: a Tool for Learning from Human Code
Zoë Weil