Different static type systems offer different trade-offs, and most are far from perfect. If you ask people to adopt them then you are asking them to accept their failings in exchange for some some compelling super-powers, and a promise that they will be better in the future.
Quote Tweet
((Hopefully last thread on the "Maybe Not" talk))
I'm seeing a lot of people object with the following argument:
1. Hickey has problem X with type system A
2. Type system B doesn't have X
=> Hickey is wrong about static typing.
This is a really common, and IMO poor, argument.
Show this thread
1
1
6