Type-Level Programming in Scala 3: How to Prove Type Relationships at Compile Time

Written form:
https://blog.rockthejvm.com/type-leve...

Scala 2 version:
   • Type-Level Programming in Scala, part...  

Given instances & using clauses in Scala 3:
   • Given and Using Clauses in Scala 3 | ...  

How to become an advanced Scala engineer:
https://rockthejvm.com/p/advanced-scala

This video is ADVANCED. We will use the power of the Scala compiler to automatically detect relationships between types, at compile time. We will learn how to encode mathematical axioms into synthesized given instances in Scala, and make the compiler prove relationships for us.

Type-level magic awaits.

Follow Rock the JVM on:
LinkedIn:   / rockthejvm  
Twitter:   / rockthejvm  
Blog: https://rockthejvm.com/blog

-------------------------------------------------------------------------
Home: https://rockthejvm.com
-------------------------------------------------------------------------