> Есть что возразить по существу ?

Есть. Если коротко, то Windows, MS-Office, Unix, Oracle. Я могу удлинить список. И если продолжать меряться (с)писками, то мой получиться длинее. И явно известнее. Я вот например впервые услышал о House и seL4. Про игры я не скажу, я ваще не фанат. Но почему Вы решили, что ФЯ лучше подходят для реализации чего-то вцелом (о, боже, даже оси!), чем процедурные или объектные языки привидя пример чего-то малоизвестного и очень похожего на сферического коня в вакууме?
То, что с помощью ФЯ можно реализовать что угодно тут уже доказали. И что-то мне подсказывает, что если сравнить результаты, которые получились у ФЯ и ПЯ, то мы увидим перевес в сторону ПЯ по простоте сопровождения, функциональности и быстродействию. Ну, по крайней мере мне так кажется, я сравнивал xmonad с metacity. По двум параметрам, правда, но мне этого хватило. Первый это как изменить внешний вид и второй а сколько оно проработает без явных глюков. Метасити победил с явным отрывом.

Давайте закончим на том, что все полноценные языки программирования можно использовать для решения любых задач. Но некоторые области им даются существенно легче и с лучшим результатом, чем остальные. ФЯ важны, ибо позволяют проще выражать сферических лошадей в n-мерном вакууме, что крайне необходимо в исследовательских целях. Они там занимают существенную нишу, и это хорошо. Постепенно из лабораторий они проникают в реальный мир, и это еще лучше. Но у ФЯ в обозримом будущем нет абсолютно никаких шансов вытеснить ОЯ и ПЯ.  Более того, это им и не нужно. Все они могут существовать одновременно решая те задачи, которые у них получается решать лучше всего.