4 ms·
To your point, I do think it depends on the team and their ability to make good judgment calls. But type safety is a spectrum anyway. One could say that not ha
by dguo 7y ago
To your point, I do think it depends on the team and their ability to make good judgment calls.
But type safety is a spectrum anyway. One could say that not having dependent types is like having a swimming pool without a lifeguard.
Should every swimming pool in the world have a lifeguard? Probably not.
- lmm 7y agoLifeguards are expensive. Basic typing is damn near free. More languages should adopt dependent typing, but for the moment there are languages that lack it and offer enough advantages to make up for that. I don't think you can say the same thing for languages without a true type system (one in which unsoundness is the exception rather than the rule) - there are too many good alternatives for it to be worth compromising on that.