It's not so bad in Elixir for various reasons. Firstly, they're doing some work on set-theoretic types. https://hexdocs.pm/elixir/main/gradual-set-theoretic-ty

It's not so bad in Elixir for various reasons. Firstly, they're doing some work on set-theoretic types. https://hexdocs.pm/elixir/main/gradual-set-theoretic-types.html https://hexdocs.pm/elixir/main/gradual-set-theoretic-types.h... There's also tooling like dialyzer, and a good LSP catches a lot too. The language itself has some characteristics that catch errors too, like pattern matching and guard clauses. With all that said, I'm still very keen for static typing. In the data world we mostly start with Python without mypy, and it's pretty hard to go back.