Same feeling here. I used to work in Erlang on daily basis - now Elixir. And although I'm not a big fan of its syntax (Erlang looks more readable to me) the tooling and the amount of love from Elixir's community is immense
I've never had a chance to play with Rust yet.
I'll definitely give it a shot someday
In my opinion, the best example of how typed languages make it more manageable is Elchemy's codebase itself - which is written in Elm and compile itself. The type system saves us from a huge amount of runtime errors and allows us to sleep at night after a recent release. Most of the time when something goes wrong it's about the parts written in bash or Elixir
I always thought of Rust as similar to Go, but now I think more of it like an ML descendant with C'ish syntax.
There's more to it though, Rust is more low-level than languages in the ML family and can often provide the same abstractions without hight costs in performance.
I've never had a chance to play with Rust yet. I'll definitely give it a shot someday
In my opinion, the best example of how typed languages make it more manageable is Elchemy's codebase itself - which is written in Elm and compile itself. The type system saves us from a huge amount of runtime errors and allows us to sleep at night after a recent release. Most of the time when something goes wrong it's about the parts written in bash or Elixir