I think the point about arbitrary data entering your system once everything is compiled is quite valid: it is common to call into typescript-compiled code from arbitrary JavaScript. Typed Racket had an interesting solution to this, where it would generate run-time contract checks at all of the typed-to-untyped boundaries, and so it could be sure that a compiled typed function was indeed receiving objects of the correct form.