> This is how limited type systems are still very much better than no types.
This is not what I was arguing against. I was arguing that I would be surprised if people were happy to go from strong typing to dynamic typing, not that 'limited' type systems are better than 'no types'.
This is how limited type systems are still very much better than no types.