I don't disagree. I'm not saying types are bad or unneeded, simply that they can be overused. I think we are encouraged to use types to solve so many problems b

I don't disagree. I'm not saying types are bad or unneeded, simply that they can be overused. I think we are encouraged to use types to solve so many problems because they're one of the few things that compilers can easily check, rather than because types are the optimal solution.