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

Kirill Zaborski <>
Wed Dec 13 16:19:13 CET 2006


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 <> 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.
>
>     /Richard
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20061213/fd033346/attachment.html>


More information about the erlang-questions mailing list