Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev

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

Парочка статей, в которых затрагивается и суперкомпиляция (новые методы оной, и не будем тут дальше про термины), и теория категорий, и "программирование по образцу" и еще куча всякого:

Начало -- 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 :)
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 0 comments