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

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.