Thanks Ulf for your reply!<br>But I have one more question: except that this would be much of work to "inject" the type system into Erlang, what do you think - are there any real obstacles in the nature and the architecture of Erlang/OTP for some kind of static typing?
<br>It seems to me that if it possible we would became a language very different from the "original" Erlang.<br><br>Regards,<br>Kirill.<br><br><div><span class="gmail_quote">On 12/13/06, <b class="gmail_sendername">
Ulf Wiger</b> <<a href="mailto:ulf@wiger.net">ulf@wiger.net</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Den 2006-12-13 20:15:17 skrev Kirill Zaborski <
<a href="mailto:qrilka@gmail.com">qrilka@gmail.com</a>>:<br><br>> OK, so now meaningful reply from Erlang people (I see<br>> that it's dead but I have no idea why)<br><br>I'm not quite sure what answer would satisfy you, but
<br>my own take on why is that none of the attempts at<br>creating a static type system for Erlang were able to<br>attract enough users to become interesting in practice.<br><br>Personally, I tried to retrofit one of the type systems
<br>onto the AXD 301 source code, but found that it would be<br>far too much work - just like Richard said. As one of the<br>biggest users, of Erlang, the AXD 301 project alone would<br>most likely have been able to push static typing into the
<br>language at some point in time. We even had a requirement,<br>and the wish, to see a type system in Erlang, but never<br>saw something that we could actually use, until Dialyzer<br>came along. Dialyzer works beautifully in our environment,
<br>and gives us many of the benefits of a static type system,<br>with none of the retrofitting pains that we had experienced<br>with the static type systems attempted for Erlang in the<br>past.<br><br>The simple reason why Dialyzer _did_ become successful
<br>was that it _did_ attract Erlang users.<br><br>You suggest that static typing was "rejected", but there<br>is no formal acceptance or rejection process for Erlang.<br>If it had proven useful and enough people had started
<br>using it, static typing might have made it into Erlang.<br><br>> So I'll email Mr. Wadler direct it would be much<br>> easier (at least I hope so)<br><br>By all means. I'm sure Mr. Wadler can give you interesting
<br>insight into his own work to create a type system for<br>Erlang.<br><br>BR,<br>Ulf W<br>--<br>Ulf Wiger<br></blockquote></div><br>