The issue with TS is that it's not really a type system, it's mostly just comments with a linter bolted on. It tries, but it's fundamentally broken in too many ways.
Here's just one very simple example, there are many more. I've checked all the strict mode options and this appears to still "typecheck".
var x: {a: number} = {a: 1};
var y: {a: number|string} = x;
y.a = 'FAIL';
var n: number = x.a; // not actually a number
Here's just one very simple example, there are many more. I've checked all the strict mode options and this appears to still "typecheck".
Source: https://www.typescriptlang.org/play/?noUncheckedIndexedAcces...