Juan Pablo Santos


about this session

Existentials, universals and path dependent types for practical, safer interfaces

3:30 pm

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.

Juan Pablo Santos
Juan Pablo Santos

Our Sponsors

coralogixUMATRCondukorMatechsscalaCZivergeRock the JVMZIO
1-2 Dec 2022
London UK
Get your ticket!