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

[metaclass]

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

Comments

Буду агитировать за что угодно, лишь бы не тратилось вр

[thesz.livejournal.com]

Спешу заметить, что F# лучше бы не использовать для кодогенерации. Слабоват-с. В комбинаторном стиле не попишешь, типизация так себе.

Кстати, атрибутные грамматики на нём будут бедны и с внешней кодогенерацией кода на F#.

Если уж писать кодогенератор, так подобие монад на обычном C# соорудить и строить код. Applicative на C# уж точно выйдет, а это больше половины дела. И отлаживаться можно нормально, и обращаться в/из C#. Куда лучше F#.

Re: Буду агитировать за что угодно, лишь бы не тратилось

[metaclass.livejournal.com]

Не, не, я пытался на C# кодогенерировать, это кошмар.

Re: Буду агитировать за что угодно, лишь бы не тратилось

[permea-kra.livejournal.com]

А цацкель?

Re: Буду агитировать за что угодно, лишь бы не тратилось

[metaclass.livejournal.com]

Доделаю прикладную задачу, буду пытаться переселять под хаскель и линуксятину это чюдо.