olpa

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

Недавно обнаружилось, что на русский язык переведена не только Peopleware, но и другие книги этих авторов. Я заказал их при первой же возможности. Одна из них -- Deadline.
( Collapse )

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

Итак, книга:

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

( Collapse )