Jorge Vásquezjorgevasquez.blog·Sep 15, 2020Exploring Type-Level Programming in ScalaIn 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. Wa...type-level programmingComments disabledThe comments have been disabled by the author for this article.