> That's exactly what other languages like Haskell or Rust are praised for. You making a trivial change, and suddenly there are entire new classes of bugs all

> That's exactly what other languages like Haskell or Rust are praised for. You making a trivial change, and suddenly there are entire new classes of bugs all over your code is an aspect that does really not receive any praise. People using those two languages work hard on avoiding that situation, and it clearly feels like a failure when it happens. The part about pointing problems at compile time so the developer will know it sooner is great. And I imagine is the part you are talking about. But the GP was talking about the other part of the issue.