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

[Christian S]

On 12/13/06, Kirill Zaborski <qrilka@REDACTED> 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. :)