[MarquesMa]

> It strips type info and runs it as Javascript, though. There's no native typescript runtime, AFAIK (it doesn't enforce types at runtime, only at build time)

Java strips type info and runs it as JVM byte codes. There's no native Java runtime, AFAIK(it doesn't enforce types at runtime, only at build time).

What's the problem?

[DerArzt]

Just because something has been done before doesn't mean that it's a good thing.

[MarquesMa]

I agree what you're saying, but they were talking about Python and TypeScript - it doesn't make sense to bring up type erasure in this context.