Здравствуйте, Nick_, Вы писали:

А>>"Динамически типизированный" и бестиповый — это одно и то же.
N_>Сомнительное утверждение. Не мог бы ты это обосновать?
Некоторая сущность (в данном случае тип) присутствует в языке, если в нем имеются средства для её выражения. В противном случае все эти "типы" существуют только в нашем сознании, но никак ни в программах, ни в языке.

А>>Полиморфизм нужен чтобы обходить ограничения, накладываемые системой типов. Если никаких
А>>ограничений нет, значит нет и типов и полиморфизм ни к чему.

N_>Разные системы типов, естественно, накладывают разные ограничения на программу. Но полиморфизм — это не сбоку приделка к простой системе типов, а ее обобщение.
Ну правильно, обобщение. Но вот зачем понадобилось это обобщение? Очевидно, как раз потому, что ограничения, накладываемые мономорфной системой типов слишком серьезные.