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

Christian S <>
Wed Dec 13 16:49:18 CET 2006


On 12/13/06, 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?

In systems where you load code into running systems it might be overly complex
to perform a complete static type check for the system with the new
code inserted. Not that it is impossible though.

It would motivate me to pick dynamic typing. :)



More information about the erlang-questions mailing list