<div><span class="gmail_quote">On 12/14/06, <b class="gmail_sendername">Mats Cronqvist</b> <<a href="mailto:mats.cronqvist@ericsson.com">mats.cronqvist@ericsson.com</a>> wrote:</span>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">(*) i'm not talking about wadlers (or any other) type system in particular.<br>but a few years ago i did a study on erlang-related bug reports in our live
<br>product. the conclusion was that once we get to system test, we find essentially<br>no more type-related bugs (**).<br><a href="http://www.erlang.se/workshop/2004/matsbilder.pdf">www.erlang.se/workshop/2004/matsbilder.pdf
</a></blockquote>
<div> </div>
<div>I've seen this paper and maybe 1 line about typing was too short to remember :)</div><br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">(**) running dialyzer on well-tested code will turn up tons of errors. alas,<br>that almost always turns out to be dead code.
</blockquote>
<div> </div>
<div>I'll dedicate more time for Dialyzer, thanx</div><br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">_______________________________________________<br>erlang-questions mailing list<br><a href="mailto:erlang-questions@erlang.org">
erlang-questions@erlang.org</a><br><a href="http://www.erlang.org/mailman/listinfo/erlang-questions">http://www.erlang.org/mailman/listinfo/erlang-questions</a><br></blockquote></div><br>