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

Получается, что функциональные языки -- промежуточный вариант между однонаправленными императивными и двунаправленной логикой. Поэтому и выживают, по мере взросления. Тогда у теоркатегорных языков есть шанс: они от логики являются шагом в ту же сторону, что и функциональные языки. Поэтому должны быть в конечном итоге быстрее.