[erlang-questions] Dialyzer site @ NTUA

Jesper Louis Andersen jesper.louis.andersen@REDACTED
Sun Apr 10 12:05:52 CEST 2011

On Sun, Apr 10, 2011 at 11:54, Kostis Sagonas <kostis@REDACTED> wrote:
> We are happy to announce the availability of one more site for Dialyzer:
>   http://dialyzer.softlab.ntua.gr
> The main reason for the existence of the new site is to offer the
> Erlang open source community the possibility to have a sneak preview
> of the effectiveness of some new analyses of Dialyzer, which have not
> been included in Erlang/OTP yet, so as to allow developers to possibly
> take some action with respect to the new warnings that the analyses
> produce and for us to receive the community's feedback on them.

This is cool work! I can see we have some cleaning up/evaluation to
look at in etorrent. I'll try to get back to you on this if some of
the warnings are what I consider spurious. I'll also recommend other
people do the same.

... and people say type systems doesn't give you anything...


More information about the erlang-questions mailing list