What you might be trying to say is that TypeScript is not _strongly_ or _soundly_ typed. "Only statically typed at compile time" is a meaningless statement because "checks types at compile time" is the whole definition of static typing.

The JVM also does erasure of generics. Yes, it's not _all_ types but it too relies heavily on compile time typings.

^ I see that you're not joking with this comment :D. Jokes aside, I'm adding facts

TypeScript is statically typed because of the type annotations and how the compiler checks the type compatibility between objects.

You may can consider TypeScript weakly-typed, because the TypeScript type information are not being encoded into the compilation result.

This is similar to C (being staticcally and weakly typed). You can print int as string and the compiler won't complain.

On the other hand, JavaScript is a dynamically typed and strongly typed language. It is strong as the types are encoded in the runtime. The proof is the keyword `typeof` and its ability to do Reflection.

Reference: Static vs Dynamic: https://en.wikipedia.org/wiki/Type_system#Type_checking Strong vs Weak: https://en.wikipedia.org/wiki/Strong_and_weak_typing