Type Driven Development

Type Driven Development, A.K.A. the real TDD.

Resources §

• Making Impossible States Impossible by Richard Feldman
• The life of a file by Evan Czaplicki
• Domain Modeling Made Functional
• Think before you write the code

Patterns §

• Parse, don’t validate
• Types before tests