список путинских блядей в области искусства

здесь: http://bumblebeat.livejournal.com/915729.html

Грустно встречать некоторые имена; и приятно порядочное количество имен не видеть в этом позорном списке.

lambdaconf-2015

If you plan to attend
If you did not pay yet
I have a discount code (discount=$75)

So let me know if interested

койонеда

Сидел писал что-то.
Да все фигня же; вот же тут на катлабе все написано: http://ncatlab.org/nlab/show/co-Yoneda+lemma каждый предпучок - копредел представимых; ну и лемма Йонеды примерно то же говорит, только с другой стороны.

Тьфу; что я тут возмущался. Да просто потому, что на Хаскеле да на Скале все как-то экивоками излагается.

Почему экивоками - непонятно. В категориях речь идет о естественных преобразованиях из одного функтора в другой; в Хаскеле и Скале просто рисуют
∀x (x -> a) -> F[a] - а где тут естественное преобразование? Не знаю, как в Хаскеле, а в Скале я его не вижу. Вот и пытаюсь усвоить эту фигню с бесплатными теоремами - там что, где-то естественные преобразования прячутся? В статье Вадлера, по-моему, да.

Приятно другое - что уже предпучки, блин, в scalaz затесались. Вот-вот уже и до топологий Гротендика дойдет, а! Классно.

Наконец-то в наш бассейн налили воды (цитируя).