3 ms·
> * TypeScript is actually a good language, and gives pretty darn good correctness guarantees. TypeScript's main focus is IDE tooling, not correctness. Here is
by stymaar 10y ago
> * TypeScript is actually a good language, and gives pretty darn good correctness guarantees.
TypeScript's main focus is IDE tooling, not correctness. Here is an example on how generics are unsound in TypeScript: http://djcordhose.github.io/flow-vs-typescript/2016_hhjs.html#/21 http://djcordhose.github.io/flow-vs-typescript/2016_hhjs.htm...
If you want to write JavaScript with a type system focused on soundness, you should give [flow](https://flowtype.org/ https://flowtype.org/) a try.
- johnfn 10y agoI don't think that anyone argued TypeScript is 100% sound, nor is that a meaningful goal to hit. I find TS to be a solid language that gives me reasonable confidence in my code. (The tooling is also great!)