Слова поддержки:
ребята с Software Engineering Radio такой подход пропагандируют уже много лет, они его называют Model Driven Development. DSL там используется как язык описания задачи в подходящих терминах, а вместо "компиляция" они говорят "кодогенерация". Смысл тот же, но не так пугает.

Кстати, Ruby on Rails — хрестоматийный уже пример именно DSLя, в данном случае DSeL (embedded language). Кто тут спрашивал DSL для веба? Забирайте. Еще хрестоматийней — makefile, тоже DSL.

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