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.
Exploring Type-Level Programming in Scala
September 15, 2020
Other videos that you might like
Kentucky Mule or Kamikaze – Attacking Scala compiler performance
Tooling for Scala 3 – Dotty support in Metals
Rapture: A Stack for Scala built on Typesafety
How will TASTy affect the Scala ecosystem, exactly?