But there already are strongly typed languages you can use to write frontend code and V8 (and other VMs are more or less on par) is fast.
You just need to give them a try instead of waiting for the "perfect" solution ;-)
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.