Specifically addressing the “reducing complexity by adding complexity on top” point: the complexity is there whether you like it or not. The choice is whether it should be explicit and thus (to some degree) verifiable, or implicit and waiting to bite at runtime. TypeScript is a very solid improvement over JavaScript for this reason.