Здравствуйте, Аноним, Вы писали:

G>>А эрланг — это динамически типизированный язык.
А>"Динамически типизированный" и бестиповый — это одно и то же.
Сомнительное утверждение. Не мог бы ты это обосновать?

А>Полиморфизм нужен чтобы обходить ограничения, накладываемые системой типов. Если никаких
А>ограничений нет, значит нет и типов и полиморфизм ни к чему.
Ну а это вообще бред. Полиморфизм — это более сложная система типов.
Бывают простые системы типов, в которых тип — это "константа". Например как в паскале. А бывают системы типов в которых тип может зависить от другого типа.
Например функция берущая первый элемент списка берет список элементов типа A и возвращает элемент типа A.

First :: [A] -> A

A — это тип и он является параметром других типов: [A] — список элементов типа A, [A] -> A[/code] — тип функции принимающей один аргумент — список A и возвращающей элемент типа A

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