Очень мало ресурсов тратится на исследования и имплементацию оптимизаций в функциональных языках. Если там ресурсов было бы на пару порядков больше, то хрен знает, на чем бд стоило бы писать, на плюсах или условном хаскеле
Ну тот же хаскель уже достаточно хорош, дальше могло бы улучшить дело всякая суперкомпиляция и partial evaluation, но там свои проблемы.
(Т.е. в ghc аж есть ветка относительно рабочая с суперкомпиляцией, но насколько я помню, там есть патологические случаи, когда компиляция сильно замедляется)