IMO TypeScript’s unsoundness is a red herring. It’s a wise pragmatic design choice, and the alternatives have tradeoffs that were judged to be worse. Whether pe

IMO TypeScript’s unsoundness is a red herring. It’s a wise pragmatic design choice, and the alternatives have tradeoffs that were judged to be worse. Whether people run into the particular problems caused by TypeScript’s particular sources of unsoundness is an empirical question. I can’t remember a time it caused me an issue.