Connecting...

W1siziisimnvbxbpbgvkx3rozw1lx2fzc2v0cy9zawduawz5lxrly2hub2xvz3kvanbnl2jhbm5lci1kzwzhdwx0lmpwzyjdxq

Type-Level Sorting in Scala by Daniel Ciocîrlan

W1siziisijiwmtkvmduvmdevmtuvndqvmzmvnzkwl3blegvscy1wag90by0ynzg4odggkdeplmpwzwcixsxbinailcj0ahvtyiisijkwmhg5mdbcdtawm2uixv0

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.