Juan Pablo Santos
Existentials, universals and path dependent types for practical, safer interfaces
Type members and path-dependent types are two of Scala's most distinctive features. They enable type level programming and have been used successfully in this field. However, this kind of usage has made them appear esoteric or even impractical for real world application.
In this talk, Juan will give a brief introduction to type members, path dependent types and how you can leverage them to create safer and more expressive interfaces for internal APIs. You will go over some practical examples from real-world applications, as well as some simpler examples.