Ок, скажи что даёт динамическая типизация кроме геморра?
внятный ответ — чтобы меньше ебаться с компилятором!!
эрланг узял — и через пару минут пишешь работающий код, сразу
хаскель узял — первые пару недель трахаешься с компилятором, не пускает, ругается и ругается ))