November 8th, 2009

with Cat The Cat

Почерпнутые из обсуждения у zabivator ссылки.

ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf - CATEGORIES TYPES AND STRUCTURES, An Introduction to Category Theory for the working computer scientist

http://apfelmus.nfshost.com/monoid-fingertree.html - как на моноидах написать всё, что угодно: приоритетные очереди, списки с произвольным доступом и тд.

http://www.cis.upenn.edu/~bcpierce/sf/ - Software Foundations. Обучение Coq.
with Cat The Cat

"Кража в музее"

The Maiden Heist.

Практически "Старики-разбойники".

Судя по первым минутам, могу смело рекомендовать. ;)

(я, например, начал ржать в голос на первом же кадре;)