[erlang-questions] Why is Erlang what it is?

[Kirill Zaborski]

Investiganing differnet papers about Erlang I have found the following from
Joe Armstrong:
 *The development of Erlang*  http://citeseer.ist.psu.edu/37831.html
There he mentions works of Philip Wadler on typing for Erlang, here is a
link about that:
http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html

I have seen no signs of someting like that in Erlang/OTP. The only thing
that comes to my midn is recently proposed type annotations in edoc.

What have happened to this idea?

Regards,
Kirill.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20061213/cb3e2d13/attachment.htm>