Have you ever worked in a language where pretty much everything is immutable AND you have a very powerful static typesystem though? (so not Java and also not Rust).

If not, maybe it's hard to understand where I come from. On top of that, people are different. Maybe Elixir is the right thing for you, but still not for me as I'm more prone to typos and such kind of small errors.