Языково-ориентированное программирование

Ну и самый главный вопрос: отчего казалось бы удачная идея создания специализированного языка не взлетает и всë пишется на языках универсальных?

SQL, PHP, Matlab, COBOL языки которые живут в своей области, для которой предназначались, и не выходят за ее пределы, но в ней они очень удобны...

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

Протегай лисп, кто-то из лисперов продвигал его как идеальный язык для DSL, а DSL методом решения всех проблем разработки софта)

см. haskell и ко

DSL методом решения всех проблем разработки софта

Скорее любая разработка софта — это разработка нового DSL. Решая свои задачи, ты описываешь кусок какой-то предметной области — сущности, их отношения, операции над ними. Всё это вместе и есть язык, предназначенный для формулирования и разрешения проблем в какой-то узкой (или не очень) предметной области — domain-specific language, DSL.

Да, лиспы подходят для создания DSL лучше других языков — в основном, наверное, за счёт гомоиконности и основанных на ней средств синтаксической абстракции (макросов).

Да тут на ЛОРе каждую неделю вой, что в какой-то очередной софтине используется какой-то очередной язык

У каждой уважающей себя БД есть свои расширения SQL, некоторые превращают его почти в язык общего назначения. Можно тот же FoxPro вспомнить - и база, и UI в одном флаконе.

Ну и самый главный вопрос: отчего казалось бы удачная идея создания специализированного языка не взлетает и всë пишется на языках универсальных?

Это не совсем так - погугли «4GL»

если смотреть широко, то это нотация Ньютона-Лейбница, дискретная математика, химия, биология, нотная грамота. из айтишных примеров - разве что SQL да XML. ЛNСП разве что просто еще один язык программирования.

Язык шейдеров - GLSL. Можно прямо в браузере запускать через WebGL, в винде анимированные обои работают через запуск шейдеров в webview (я могу ошибаться, но я что-то сильно уверен, что там именно так)

Ну и самый главный вопрос: отчего казалось бы удачная идея создания специализированного языка не взлетает и всë пишется на языках универсальных?

Она взлетает и используется повсеместно. Гугли eDSL.

из айтишных примеров - разве что SQL да XML

Регулярки? CSS?

Да, еще CSS. Регулярки - изобретение сатаны, не хотел бы их видеть в списке этой годноты. И наверное XSLT.

кто-то из лисперов продвигал его как идеальный язык

Луговский что-ли?