Strongly typed is ambigious term. Elm is statically typed and from ML family, so it most likely sound system (haven't seen formal proof).
Elm solves other problems than C, but - as of today - it is one of the least painful options to write client-side code.
what about elixir and phoenix? they claim some impressive performance.
BTW Phoenix is a server side framework...
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.