[erlang-questions] Dialyzer site @ NTUA
Jesper Louis Andersen
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:
> 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