Без заголовка

К Немерле и Хаскелю, равно как и Фактору (включая их IDE, библиотеки, совместимость с legacy окружением) это всё относится в полной мере: победит, скорее всего, удачный инструмент, а не собственно язык с его идеями... В Хаскеле все наоборот, у них принцип - избегать популярности любой ценой. Так что ТурбоХаскель это будет не победа, а поражение. Хотя инструмент тут безусловно тоже крайне важен, и GHC - основной компилятор Хаскела, очень удачный и навороченный инструмент. На данный момент, он еще не очень совершенен, но его разработчики ведут активную планомерную работу. В частности там я так понимаю отсутствуют продвинутые алгоритмы оптимизации, используемые в императивных языках. Сейчас у них идет работа по переделыванию бэкенда на новые рельсы, плюс работа по суперкомпиляции Хаскела. Вполне возможно что после их завершения Хаскель будет сравним по скорости с Си и даже иногда будет его превосходить - по крайней мере, примеры такой супероптимизации были. Конечно можно и на Си такой код наваять, но проблема в том, что такой код, который получается после супероптимизаций, человек сам, по своей воле, писать не будет :)