Re:TypeScript support in Electron
by bcherny on Saturday June 03, 2017 @07:46AM
(#14475968)
You 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.
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.