metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2011-07-19 09:25 am

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

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

[identity profile] xeno-by.livejournal.com 2011-07-19 07:53 am (UTC)(link)
Прокатит ли квазицитирование с последующей декомпиляцией кода, полученного после раскрытия макросов? А потом из декомпилированного AST можно будет сгенерировать что угодно, в рамках семантики целевого языка, конечно.

[identity profile] metaclass.livejournal.com 2011-07-19 08:35 am (UTC)(link)
У меня генерируется sql, с#, delphi и еще парочка специфичных внутренних языков - там общего в семантике только то, что это "классы с полями", и все)