Oct 05, 2017 A while back I wrote that Robert Martin was ruining software by being too good at programming. That was supposed to be a joke. Since then he’s done his damndest to actually ruin software by telling people they’re doing it wrong. His most recent response where he yells at software correctness was the breaking point for me, so I’m going to go ahead and say what many of us have been thinking: Uncle Bob gives terrible advice. Following it will make your code worse. He begins Tools are not the Answer by listing some of the “new” tools that are not “the answer”: Light Table, Model Driven Engineering, and TLA+. Now, I’m pretty biased here, what with writing a TLA+ manual and all. But I agree with what (I thought) was the core critique: there is no silver bullet. TLA+ has shown some astounded successes at Amazon and Microsoft, but it only verifies specs, not code. While it’s incredible for designing systems, you should combine it with other correctness techniques, like type systems and tests. A pretty good argument.