Introduction to Dependent Types in Scala

Dependent types are all the buzz in academia but they have practical uses in real world code too. In this talk Owein Reese, Senior Engineer at MediaMath, focuses on techniques and tricks to using dependent types within Scala. Owein showcases the different things you can do, from using types to drive the behavior of an application all the way up to making the compiler prove the correctness of data structures and algorithms.

59:46

Slides for the talk can be found here.

This talk was recorded at the NY Scala meetup at Pellucid Analytics.