Photo by Glenn Carstens-Peters on Unsplash
Exploring Type-Level Programming in Scala
Presentation at micro.sphere.it
In this introduction to type-level programming in Scala, I've discussed 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.
Watch the recording:
💡
You can find the slides here