<div>I have thought about release handling and so on but then I saw this project.</div>
<div>So it was just an academic research without much results and almost no influence on Erlang/OTP?</div>
<div>From the paper:</div>
<div>----<br>The production version of our type checker is currently<br>under construction, and will be distributed along with a<br>future version of the Erlang system. We expect the final<br>version to improve on the prototype in areas of performance,
<br>robustness and the quality of diagnostics.</div>
<div>----</div>
<div>But now I see no signs of something like:</div>
<div>-type and(bool(),bool()) -> bool().</div>
<div>Quite strange to me :(</div>
<div> </div>
<div>Regards,</div>
<div>Kirill</div>
<div><br> </div>
<div><span class="gmail_quote">On 12/13/06, <b class="gmail_sendername">Christian S</b> <<a href="mailto:chsu79@gmail.com">chsu79@gmail.com</a>> wrote:</span>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">On 12/13/06, Kirill Zaborski <<a href="mailto:qrilka@gmail.com">qrilka@gmail.com</a>> wrote:<br>> Yeah, I know about the dialyzer. But are there any reasons why static typing
<br>> is dead?<br>> Are there any papers why it was declined? Or maybe should I send an email to<br>> Philip Wadler?<br><br>In systems where you load code into running systems it might be overly complex<br>to perform a complete static type check for the system with the new
<br>code inserted. Not that it is impossible though.<br><br>It would motivate me to pick dynamic typing. :)<br></blockquote></div><br>