Advertisement

A Gentle, Practical Introduction to Path-Dependent Types - David van Geest

A Gentle, Practical Introduction to Path-Dependent Types - David van Geest Consider an HTTP API that responds with different fields based on the type of the input provided. How might you build a type-safe client to interact with this API? Is your code littered with Options? Do you resort to casting?

During this talk, we’ll work through a cleaner, safer solution using Scala’s path-dependent types. Along the way, we’ll learn about related concepts such as abstract type members and dependent method types. While these words might sound intimidating (including to this presenter!), they represent simple concepts useful in solving real-world problems.

scala,flatMap,

Post a Comment

0 Comments