It's scary to not have type checks in JavaScript. I do them by eyeballing the code, but ugh.

Also all languages you mentioned support complex code and OOP.

Code can be complex in any language. TypeScript itself can produce some really complex types. OOP isn’t a bad thing either; it’s just a tool.