Typescript's main design goal is not to be a statically typed, compiled language but to gradually add type hints to massive legacy Javascript code bases. This i

Typescript's main design goal is not to be a statically typed, compiled language but to gradually add type hints to massive legacy Javascript code bases. This is a very different goal than just having a simple language which compiles to WASM, but still looks familiar to web devs, and I bet if Typescript would add WASM output as official feature, it would have to restrict itself to a 'static' subset - it could never be all of Typescript, because this also would include all of Javascript, including all the 'dynamism' that's hard to bring over to WASM.