Супероптимизаторы на теории категорий

Парочка статей, в которых затрагивается и суперкомпиляция (новые методы оной, и не будем тут дальше про термины), и теория категорий, и "программирование по образцу" и еще куча всякого: Начало -- http://cseweb.ucsd.edu/~rtate/publications/eqsat/eqsat_tate_popl09.pdf (кратенько: http://cseweb.ucsd.edu/~rtate/publications/eqsat/). Продолжение -- http://cseweb.ucsd.edu/~rtate/publications/proofgen/proofgen_tate_popl10.pdf (кратенько: http://cseweb.ucsd.edu/~rtate/publications/proofgen/). И в этом примерно же духе других авторов: http://www.cs.bris.ac.uk/Publications/Papers/2000979.pdf Очень интересно, что из этого может выйти практического. Наверное, очередной компилятор Haskell :)