Finding Bugs, Contracts, and Types

Jerod discusses the value of finding bugs in code, even without type signatures, and how contracts can help identify changes between modules.