While Dialyzer can be handy, it is not a type system. Elixir/Erlang do have typespecs, which helps on the documentation aspect, but a type system would give mu

While Dialyzer can be handy, it is not a type system. Elixir/Erlang do have typespecs, which helps on the documentation aspect, but a type system would give much more on the performance and guarantees departments.