[maxloh]

> It's hard to tell if there will even be a runtime that somehow uses TS types to optimize even further.

Yeah, that exists. AssemblyScript has an AOT compiler that generates binaries from statically typed code.

[crabmusket]

AssemblyScript is a very limited subset of the language though.