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

T>Так каких-то лет пять всего.

За пять лет некторые языки устареть успевают

T>>>И требования у тебя выше.
FR>>Так к лучшему из функциональных языков же

T>Так к ещё не развернувшемуся в полную силу.

Ттттормозиттт

T>Это сокращает количество ошибок.

Вот плохой ты евангилист, надо было сразу раскрывать

T>Всякого рода преобразования встречаются и в далёких от ЯП программах. В тех же оптимизаторах файловых систем, ведь файловая система и есть дерево с типами блоков, да ещё и хитро увязанных друг с другом.

T>Почему пишущие на C++ до сих пор не пользуются GADT, мне непонятно.

Ты это осторожней не накаркай, в буст уже почти засунули алгебраические типы


T>Поэтому нужна система типов, которую мы можем затачивать под наши конкретные цели. Система типов Хаскеля движется в этом направлении.

Да интересно, но эту ветку пилят еще метапрограммирование и динамика, так что посмотрим кто кого.

FR>>Там же есть еще другой вывод, очень многие задачи вообще неприводимы и неупрощаемы

T>Essential complexity по Бруксу.

T>Такое встречается очень редко.

Похоже не так уж и редко. И чем дальше в лес тем больше дров.