Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev

Categories:

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

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

Начало -- 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

  • lytdybr

    Переписано 7% системного мышления. Стараюсь вносить минимум правок в основной текст. Меняю concern на "важные характеристики системы и проекта"…

  • lytdybr

    Начал шестую переписку "Системного мышления", с кейсами в версии 2020 года 518 страниц A4: завёл файл, сделал первую ритуальную правку (заменил год…

  • Опубликован онлайн-курс "Образование для образованных 2021"

    С сегодняшнего дня для всех желающих доступен онлайн-курс "Образование для образованных 2021" -- https://system-school.ru/uptodate, цена его 2000…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 0 comments