3 ms·
> real world usability to theoretical soundness The soundness we are talking about in this case isn't theoretical at all and in fact such an argument is anti-i
by bad_user 9y ago
> real world usability to theoretical soundness
The soundness we are talking about in this case isn't theoretical at all and in fact such an argument is anti-intellectual. This is anti-intellectualism.
As for the "community", we are talking about one where the majority has never worked in sane static languages.
- bcherny 9y agoYou are misunderstanding what I said. Either one of the 2 issues I linked would fix the specific problems you outlined. You don't need a globally sound type system, H-M inference, or anything like that to fix those specific problems; local inference and opt-in nominal typing would work just as well. Having used TS daily for a few years, I can vouch that your cases are pathological, and don't come up in practice often, if at all.