Talking head
Pacific Northwest Scala 2014

This presentation, by Stephen Compall, is licensed under a Creative Commons Attribution ShareAlike 3.0

At first glance, the pattern matcher appears to be a mechanism merely for choosing among structural conditions of your data structures. However, scalac is much more powerful than that; many patterns have interesting type-level consequences on the other side of their associated rocketships (=>). This is a powerful tool for modeling in a functional style, as well as a source of interesting type-system bugs. We'll examine various type-level effects of patterns, how you can use them to write safer programs, and what pitfalls arise in scalac's current implementation.

Rated: Everyone
Viewed 840 times
Tags: There are no tags for this video.