Captain’s Log

TDD is about making evolution explicit

In functional programming, and fervent advocates of strongly typed languages it is common to hear phrases like: “It compiles; ship it!” or “I don’t need to run it, I already know it compiles”, referring to this notion of being able to write code that gets formally verified by the compiler’s type system. They do know that the Curry-Howard equivalence means that: if they can encode the specification of their problem…