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

T>Так он и моложе. И ситуация другая.

Так он и популярнее.

T>И требования у тебя выше.

Так к лучшему из функциональных языков же

T>То, что евангелист я, не означает, что ты не должен подтверждать свои соображения. "Вывод явно притянутый" нуждается в другом, непритянутом выводе.

Притянутый потому что ты никак ни показал что именно из-за меньшей плотности ошибок переходят на Хаскель. Вот мне видится что из-за большей выразительности и большей гибкости языка по сравнению с ML.

FR>>В общем чисто субъективное мнение, подкрепленное только своим опытом и последними достижениями математики
FR>>http://elementy.ru/lib/430319
FR>>

FR>>Иными словами, при любом конечном наборе аксиом мы имеем бесконечное число истин, которые не могут быть доказаны с помощью этого набора.

T>Что это означает?

Это означает что универсальной покрывающей хотя бы большую часть решаемых задач системы типов не построить.
Там же есть еще другой вывод, очень многие задачи вообще неприводимы и неупрощаемы

T>"Совсем" это ты загнул, да.

Ну практически.