For general purpose programming I consider the meta languages (ML) to be great. E.g. Rust, Typescript, Swift, Scala, F#, Haskell, Ocaml etc. Something like Hindly-Milner typesystem in order to build good tooling. Scripting languages don't have this so I don't consider them great. Facebook build one for PHP after the fact and at great cost. So, I consider them successful despite the initial lack of a type system. It is great that the world is catching on to ML languages now. This stuff has been around since the 70s so it has been ridiculously slow.