(no subject)

Завтра очередной раз втроём собираемся на семинар по функциональному программированию, надо хоть упомянуть что было в прошлый раз. Если кратко, то так: eager evaluation, пример по нему, определение универсальной алгебры. Подробности при личной встрече.

UPD. На семинаре была задачка. Доказать, что если на множестве есть некая операция ∘ и существует элемент k такой, что
(k∘x)∘y = x, ∀x,y
то это множество состоит либо из одного, либо из бесконечного количества элементов.