Category: литература

Category was added automatically. Read all entries about "литература".

Катаморфизмы для чайников

Дополнение к предыдущей заметке, «Теория категорий в реальной жизни». Есть возможность быстро (скажем, за день, а не за k месяцев) вникнуть, что можно делать с катаморфизмами. Вот статья Zhenjiang Hu: Program Optimization and Transformation in Calculational Form и слайды доклада.
Collapse )

В.А.Серебряков, М.П.Галочкин: Основы конструирования компиляторов

Когда-то давно получил совет писать рецензии на прочитанные книги. Идея хорошая, но сил собраться не было. Основная "отмазка" -- некуда писать. Но теперь есть ЖЖ, так что попробую.

Итак, книга:

В.А.Серебряков, М.П.Галочкин
Основы конструирования компиляторов

Collapse )
  • Current Mood
    working
  • Tags