[plgs]

I don't see these as mutually exclusive. Introducing a compiler/type-checker can be (depending on your situation) a very concrete way of improving the way code is written.

[chvid]

They are not. But the pscyhology is that people will much rather talk about introducing a new tool rather than what they have done wrong.