"Advanced" is debatable, but yes to "complex".

At least, in the core language itself, not counting extensions (otherwise Haskell).

EDIT:

I will say that it is a pleasant surprise how flexible and practical TypeScript's type system is.

It would seem that the pressure of working for existing untyped programming patterns has produced something that is very usable and unobtrusive.

TS is the most ergonomic and flexible type system i worked with. It has some deep quirks, but end-user app developers rarely have to do anything with those.

Miss it a lot when i have to push some python or golang code.

I've read a lot online that Scala is complex, but I had an easier time with learning Scala than I had reading through the TypeScript docs. And I dived into TS after Scala.

Except for implicits ha.

It depends how you interpret these things. On a technical level, TS is not sound (you can have runtime type errors in programs that have "correct" types according to TS). For type system aficionados that may not even count as a proper type system.

This is a compound question, since complexity and advancement are two separate issues.

No, Scala does.