IMHO, the next big thing for TypeScript is compilation to native targets. TS could have a "very strictly typed" language subset compilable to a few popular bytecode targets, wasm and jvm at least. Otherwise TypeScript is going to lose competition to Dart, despite being a better language.