His assumption is incorrect: >but I suspect it’s an attempt to counter the idea that strong static type systems like Scala’s are complicated. Nope. It is sim

His assumption is incorrect: >but I suspect it’s an attempt to counter the idea that strong static type systems like Scala’s are complicated. Nope. It is simply stating the reason we use typed languages. Because we are human beings, and make mistakes. Having a compiler automatically tell us when we make those mistakes is very helpful. That's it. It has nothing to do with "sharp tools", which untyped advocates also claim their tools to be. It is simply that type systems can find a large number of bugs, at compile time, with 100% certainty.