Static analysis of Erlang communication

Matthias Radestock wrote “I had a brief email exchange with the developers of [Dialyzer](http://www.it.uu.se/research/group/hipe/dialyzer/), the static analyzer (some might call it a type checker) for [Erlang](http://www.erlang.org/) programs. Currently Dialyzer only performs analysis on the functional fragment of Erlang and I was enquiring whether to extend that to handle communication. That would allow the detection of basic input/output mismatches,…”