[spankalee]

TypeScript is not a statically typed language. It's more like a type-aware linter for a dynamic language. It doesn't "run on" JavaScript, it more-or-less is JavaScript. Any runtime helpers that TypeScript includes are merely polyfills for JavaScript features and compiling to the esnext target includes no runtime code at all.

TypeScript isn't faster than JavaScript, it doesn't even change it's emit based on types - which are completely erased.

Similarly, Python with type annotations is not a statically typed language either.