Type-driven design, test-driven design

I’ve stumbled into type driven design a few times and found it nicely productive. But of course it just tells me that the same of the function output is correct not the content.

Nice and consice article. First time I hear of type-driven development.