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.