T>>Это сокращает количество ошибок.
FR>Вот плохой ты евангилист, надо было сразу раскрывать

Так я сразу сказал — "сокращает".

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

Динамика не ловит все возможные пути прохода кода и точно не на этапе компиляции. Метапрограммирование само нуждается в многоуровневой системе типов — чтобы глупости не создавало.

А так — да, посмотрим.

FR>>>Там же есть еще другой вывод, очень многие задачи вообще неприводимы и неупрощаемы
T>>Essential complexity по Бруксу.
T>>Такое встречается очень редко.
FR>Похоже не так уж и редко. И чем дальше в лес тем больше дров.

Практически все встречавшиеся мне примеры упрощались сменой подхода.