Interesting, will check out. I am still evaluating Gleam, a language that's targets beam, but the compiler is written in Rust. It has actual strong typing, and I rather like it's Rust like syntax.
Personally I want the EVM to (eventually) get the same level of adoption and mindshare as the JVM.
And currently wider Elixir use/education seems like the path to that.