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

G>>Если бы типы отсутствовали, например, в языке Erlang, а существовали только в моем сознании, то и паттерн-матчинг я мог бы выполнять только в своем сознании.
Т>Здесь неявно используется ложная посылка, что паттерн-матчинг связан с типами.
Т>

 
Т>f(1)->...
Т>f(2)->...
Т>f(3)->...
Т>

Т>Следует ли признать, что 1,2 и 3 имеют разные типы?
Т>Вообще из Вашей теории следует, что существуют такие типы, как:
Т>- положительные числа;
Т>- четные числа;
Т>- простые числа;
Т>- непустые списки;
Т>- списки, первый элемент которых 1, а второй — alpha;
Т>....
Т>и что любая функция является полиморфной.

И чему это противоречит?