Types vs. Tests: An Epic Battle? (with Amanda Laucher)

Debate-style talk with Amanda Laucher on type systems versus testing methodologies as complementary tools; recorded at Strange Loop 2012 and published by InfoQ.