This is probably my only gripe with it. I really like static types, since the tools can be so much better in that case. VSCode + ElixirLS is ok, but far from Elm, Typescript or C# in that regard. I've been trying out Dialyzer and Credo, but it all seems so clunky to use.
If you haven't seen the new Dialyzer messages in Dialyxir, I just finished a big effort to improve those messages dramatically for Elixir consumption. Release is in RC currently.