As is typical in these discussions, folks are confusing representation with kind.
"type" systems help with representation errors, but those tend to be easy to find without static typing.
One problem with static typing is that I'm forced to address all of the representation issues before I can do any testing. That "premature optimization" is hell on incremental development.
Another problem is that static typing tends to encourage languages which are designed around making type checking easy. That impacts program design.
"type" systems help with representation errors, but those tend to be easy to find without static typing.
One problem with static typing is that I'm forced to address all of the representation issues before I can do any testing. That "premature optimization" is hell on incremental development.
Another problem is that static typing tends to encourage languages which are designed around making type checking easy. That impacts program design.