> In my 15 years of engineering, exceedingly rare is the case where the underlying cause is due to using wrong types. That just means you've never used a power

> In my 15 years of engineering, exceedingly rare is the case where the underlying cause is due to using wrong types. That just means you've never used a powerful enough type system. With a powerful type system, it's incredibly easy to make type errors. You'll find that you spend a ton of time fixing all of these type errors that suddenly appeared in your code.