Existentials, Universals, And Path Dependent Types For Practical, Safer Interfaces

"Existentials, Universals, And Path Dependent Types For Practical, Safer Interfaces" by Juan Pablo Santos at Functional Scala 2022.

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 applications.

In this talk, Juan gives 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.

Grab Your Early Bird Tickets for the Functional Scala 2023! ➡️
https://www.eventbrite.com/e/function...

#FunScala2022 #scala #zio #functionalprogramming #functionalscala #scalaconference #scaladeveloper