alt Hacker NewsGood point, and an important example why static types are ultimately a failure: Encoding the actual invariants in them you care about is a pain in the ass.
No doubt there will be plenty of comments to your comment trying to rationalise this.
Replies
ux266478 • yesterday at 5:56 PM
Why do you believe that static types are ultimately a failure?
IshKebab • yesterday at 5:43 PM
I strongly disagree. Static types are a huge success. The problem here is essentially that they named things badly.
Better than simply not encoding the actual invariants you care about.