Имел как-то я неосторожность обмолвится, что Erlang — не совсем динамически типизирован, даже немножко статически.
Но давайте смотреть.