Conversation

Brendan Zabarauskas
@brendanzab
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
Hillel
@hillelogram
·
((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
Twitter Web Client
1
Quote Tweet
6
Likes
Brendan Zabarauskas
@brendanzab
Replying to
@brendanzab
Personally I'm cool with the trade-off, but I've needed to make peace with the fact that there is no type system that will ever really satisfy me now. I'm optimistic that we are iterating towards a better place though. The future is exciting!
1
7
Brendan Zabarauskas
@brendanzab
Sorry to bring all this up in people's timeline again - I guess I'm just hoping to encourage empathy and build some bridges! I'm not alone in forgetting that we're all trying to solve hard problems, in different ways!
2
3