> Некоторые ЯП нужны не для практики, а для того чтобы «смотри как можно вывернуть мозг»

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

Это не делает их плохими, ну никто не назовет эксткаватор плохим, хотя кроме копания он мало что умеет.
Но адепты считающиее такие языки вершиной эволюции и советующие использовать их для обучения школьников и студентов... вот они точно абсолютно бесполезны и даже вредны. (Тут таких пару штук пробегало)

> А потом какое-нибудь открытие, которое позволит использовать заложенные в ЯП принципы гораздо эффективнее традиционных ЯП, и тогда готовая теория займёт своё место на практике.

Примеры пожалуйста, было бы интересно почитать про такую историю успеха.
Мне что-то подсказывает, что скорее сделают новый ЯП, с учетом недостатков старого.