There is a delightful new language if you are really insistent on having static typing while using the Erlang runtime: https://gleam.run/ https://gleam.run/ Th

There is a delightful new language if you are really insistent on having static typing while using the Erlang runtime: https://gleam.run/ https://gleam.run/ Though I am not buying the idea that lack of static typing would hinder adoption as many of the most popular backed languages are traditionally dynamic with gradual typing only becoming popular in recent years.