Before Elixir typechecker gets its function type annotations syntax, the main reason to still use Dialyzer is to be able to document interfaces with argument and return types, and have these contracts (at least partially) checked by Dialyzer
4 Likes
