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

Richard Carlsson <>
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.

     /Richard




More information about the erlang-questions mailing list