2 ms·
Good 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
by auggierose 6mo ago
Good 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.
- IshKebab 6mo agoI strongly disagree. Static types are a huge success. The problem here is essentially that they named things badly.
- ux266478 6mo agoWhy do you believe that static types are ultimately a failure?
- JuniperMesos 6mo agoBetter than simply not encoding the actual invariants you care about.