It’s silly to assume too much about what others do or don’t know.
Instead of telling somebody they don’t know what they’re talking about, tell them something they don’t know:
- It’s more effective (you’ve just shown them proof!)
- It reflects a lot better on your character
- Ad-hominem attacks demonstrate weakness in your own position — rather than rely on the strength of your argument, you’re forced to try to attack the credibility of the other party
I agree with the rest of your TL;DR:
- Yes, writing correct programs is hard
- Yes, Tests and Types are both good tools at programmers disposal
- Yes, “Tests vs Types” is a false dichotomy. You can and should use both when good implementations of both are available.
The post you’re responding to is acknowledging all these facts and saying: