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

Richard Carlsson richardc@REDACTED
Wed Dec 13 16:13:55 CET 2006

Kirill Zaborski wrote:
> 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?

Strict typing of Erlang programs is pretty much dead. Type analysis,
however, is live and kicking in the "dialyzer" application, from the
HiPE project.


More information about the erlang-questions mailing list