The philosophy of not adding language constructs beyond what is required for the type system.

Typescript code without type annotations should be JavaScript compatible, minus features still in flight for standardisation.

There are other languages for that like ReasonML.