Dialyzer is good, but -as you mention- it has limits: http://erlang.org/pipermail/erlang-questions/2015-December/087072.html http://erlang.org/pipermail/erlang

Dialyzer is good, but -as you mention- it has limits: http://erlang.org/pipermail/erlang-questions/2015-December/087072.html http://erlang.org/pipermail/erlang-questions/2015-December/0... You can't use Dialyzer to give you the more-or-less iron-clad type safety you get in C++ or Java, but you can use it to get warned about many type errors that might have otherwise gone unnoticed.