Introductory TyDD in Scala

Here are the slides (pptx, pdf) and code from the PHASE talk on Type Driven Development in Scala. Long form blog post version is forthcoming.

1. Anatomy of a Type Level Function
2. Type Classes & Higher Kinds
3. Reading Type Level Functions
4. Writing Type Level Functions
5. Reading Data that is this strongly typed