On: Type-driven design, test-driven design

[cmlars]

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.