Кодогенерация и метапрограммирование

[metaclass]

Все-таки, несмотря на то, что функциональные языки (F#, в моем случае) очень удобны для кодогенерации - кодогенераторы получаются не очень адекватными.
Или огромные классы для описания AST целевых языков и сборка из них нужного кода, затем его pretty-printing или тупой вывод текста по шаблонам. В обоих случаях - код очень малочитабелен.
Для кодогенерации нужен какой-то специфический DSL, да еще с адаптацией под целевые языки.
В случае с метапрограммированием вроде его роль выполняет quasi-quotation, но там в итоге получается код только на том же языке на котором пишешь.

Comments

[metaclass.livejournal.com]

А меня не уволят, если я попытаюсь еще одну оккультную хрень прикрутить к рабочим проектам?:)

[permea-kra.livejournal.com]

Она столь же оккультная, как и bison.

[metaclass.livejournal.com]

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

[permea-kra.livejournal.com]

Не, ну вот тут гугль брешет, что CoCo/R умеет attribute grammars. Т.е не вижу проблемы, это вполне мейнстрим.

[permea-kra.livejournal.com]

А, хотя нет. Он attributeD grammar.

[permea-kra.livejournal.com]

Хе, а вот anltr (который умеет сишарп) вроде бы умеет.

xttp://www.antlr.org/blog/attribute.grammar.notes.tml