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

[Kostis Sagonas]

Kirill Zaborski wrote:
> Yeah, I know about the dialyzer. But are there any reasons why static 
> typing is dead?
> Are there any papers why it was declined? Or maybe should I send an 
> email to Philip Wadler?
>  
> Regards,
> Kirill.
>  
> On 12/13/06, *Richard Carlsson* <richardc@REDACTED 
> <mailto:richardc@REDACTED>> wrote:
> 
> 
>     Strict typing of Erlang programs is pretty much dead. Type analysis,
>     however, is live and kicking in the "dialyzer" application, from the
>     HiPE project.

Please pay attention to the details.

Richard wrote "strict typing" and you changed it to "static typing".

Kostis