<div>Yeah, I know about the dialyzer. But are there any reasons why static typing is dead?</div>
<div>Are there any papers why it was declined? Or maybe should I send an email to Philip Wadler?</div>
<div> </div>
<div>Regards,</div>
<div>Kirill.<br> </div>
<div><span class="gmail_quote">On 12/13/06, <b class="gmail_sendername">Richard Carlsson</b> <<a href="mailto:richardc@it.uu.se">richardc@it.uu.se</a>> wrote:</span>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"><br>Strict typing of Erlang programs is pretty much dead. Type analysis,<br>however, is live and kicking in the "dialyzer" application, from the
<br>HiPE project.<br><br>    /Richard<br><br></blockquote></div><br>