Nawww I’d say something like python or php is “scratching the surface”. Typescript’s type system is phenomenal and pretty deep.

Honestly I think it’s the most interesting one to work with, too. Which is not always a good thing, but it is fun.

The only type systems I’ve seen that are similarly expressive are rust and Haskell. Even go doesn’t come anywhere close.