[erlang-questions] Why is Erlang what it is?
Wed Dec 13 16:49:18 CET 2006
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. :)
More information about the erlang-questions