Not all your errors, dynamically typed languages still require testing. And I agree, I tend to prefer type systems like haskell that offer better compile time

Not all your errors, dynamically typed languages still require testing. And I agree, I tend to prefer type systems like haskell that offer better compile time assurance than testing, but my point is there's a large contingent of programmers who don't, and who drive uptake of increasingly automated and abstracted dynamically typed languages (this isn't a prediction, but an observation of how things already are).