I like all these langs that bring stricter typing to ecosystems that do not traditionally have very strict typing. Gleam for BEAM (Erlang), Kotlin/Scala for JVM (Java), Elm/PureScript/TypeScript for JS engines, Borgo for Go.
Life's too short for runtime errors.
Pyright with Python is lovely too!