Pexels Photo 278888 (1)

Type-Level Sorting in Scala by Daniel Ciocîrlan

Pexels Photo 278888 (1)

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.