(no subject)

[metaclass]

Любителей ерничать и цитировать русскую классику в ответ на объяснения из CS нужно в наказание ссылать программировать вот на оном: http://udpn.livejournal.com/94146.html#comments

Comments

[plumqqz.livejournal.com]

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

[gds.livejournal.com]

так надо было придумать себе проблемы, которые решились бы х-ем!

[plumqqz.livejournal.com]

Х-ем проблемы не решают. В самом лучше случае просто не создают.

[metaclass.livejournal.com]

Мои решило. Правда, не хаскель (который я изучил, но на практике почти не использую), а F# и Clojure.
Первое генерит код, второе считает бухгалтерские отчеты.
В первом случае, кроме функциональщины вообще слабо что пригодно, во втором - она используется как "более мощный sql, чем сам sql" :)

[plumqqz.livejournal.com]

Гм. А почему мало что пригодно в первом случае?

[metaclass.livejournal.com]

Представление AST кода наиболее естественным образом выглядит в двух случаях - или это лиспообразные языки, где код от данных и AST не отличается, или же нужны развесистые деревья с разнообразными структурами данных, которые проще всего на функциональных языках описываются.

Еще можно было бы генерить код без AST, а как любой текст - из текстовых шаблонов, но даже для этого входные данные проще описывать на функциональных языках.

Я пытался сделать кодогенератор сначала на C# - получился откровенный неподдерживаемый бред. Ну по аналогии - как SQL запросы руками на обычных языках имитировать, над курсорами :)
На F# то же самое получилось гораздо понятнее и лаконичнее.