[Comment removed by author]
I don’t agree. He argues for specifying before coding through tests, whatever means necessary, nothing else. The post is absolutely not about implementation specifics.
That works with or without static types and quickcheck.
I await this essay eagerly.
What I’d like to know is how much time people using TDD lose in comparison to other approaches.