John Carmack on static code analysis

Over the last year or two I’ve become convinced that static code analysis and (good) strong type systems are the way forward. Certainly for me at least. Perhaps in my case it’s because I’m not a very good programmer and can’t keep much in mind at once, but at least I’m not alone in this opinion!