How do you impose type-level constraints?
Engineer, Daniel Ciocîrlan at Scala in the City showed us how we can achieve complex relationships between types and sort types!
Type-Level Sorting in Scala
Scala's type system and implicit resolution mechanism allow for sophisticated type-level relationship inference. In this talk, we will see how we can impose type-level constraints and determine complex relationships between types, enough to be able to sort types... at compile time.
This talk was given by Daniel Ciocîrlan at Scala in the City.