> All the tools do is enforce a loop of compile -> make compiler happy -> compile. Sorry, this is nonsense. Tools can eliminate whole classes of bugs from ever

> All the tools do is enforce a loop of compile -> make compiler happy -> compile. Sorry, this is nonsense. Tools can eliminate whole classes of bugs from ever happening. I will never have a null pointer exception in a Haskell program, for example[1]. I'm not so sure what's so difficult to understand about this. [1] Alright, if we're being extremely nitpicky, it's possible to do really weird things with various language extensions which could conceivably cause similar things, but a) those are opt-in, and b) very rarely necessary, if ever except in the implementation of the runtime/language itself. They can also be localized per-module such that you know what code to be extra careful about.