Компиляторы и Теория Категорий

[kashnikov]

Оказалось, что моя годичной давности идея уже реализована. Ничего страшного :)
Любителям теории категорий, компиляторов и просто интересного чтива рекомендуется.

http://cseweb.ucsd.edu/~lerner/papers/popl10.html

Comments

[udpn]

Волшебно.

[kashnikov]

Вам, кстати, как любителю С++, если я не ошибаюсь, должна понравиться ещё и такая статья:

http://altdevblogaday.com/2011/09/25/reflection-in-c-part-1-introduction/

Если, Вы её ещё не видели, конечно. :)

[udpn]

Спасибо, не видел. Имхо, это слишком извращённо. Меня утомило всё это метапрограммирование на С++ своей бестолковостью и переусложнённостью, и я сейчас потихоньку учусь С++ кодогенерировать.

А вот статья-сабж просто восхитительна, поскольку я долгое время мечтал сделать что-то подобное, но не знал даже как подойти к проблеме. Думал, что нужно заходить через decision procedures, а оказалось, что через теоркат.

[kashnikov]

http://cseweb.ucsd.edu/~rtate/publications/eqsat/

Год или более назад после рецензии на статью уважаемого thesz мне в голову пришла подобная идея. Я думал сделать это со знакомыми из университета Бородо на Coq. Но времени нет, да и если честно, не много разного в то время было :-/

[jtootf]

занятно