V0.28 released of Gleam, a type safe Erlang-family language
gleam.run
gleam.run
That said, I welcome exploration of more implicit models as well - it's just that the debate is tiresome. The ideal paradigm often depends on what the given language more naturally supports.