TypeScript's type system is, and it will always be, unsound by design [1]. Working with these constraints and still being able to deliver what they did is noth

TypeScript's type system is, and it will always be, unsound by design [1]. Working with these constraints and still being able to deliver what they did is nothing short of incredible. They had the maturity and experience to ship something that wasn't Yet Another Copy Of Java's Type System, like Sorbet and Dart, for example. [1] https://www.typescriptlang.org/docs/handbook/type-compatibility.html#a-note-on-soundness https://www.typescriptlang.org/docs/handbook/type-compatibil...