Spiewak

To compose two monads, you need to provide a Traverse: G[F[G[X]]] → F[G[G[X]]]

Kinda obvious.

He is talking about Emm; something like Eff, for composing monads. Sure need tons of implicits.

I like this notation:

type E = Validataion[Error, ?] |: Task |: Base

Composition of functors, eh. Makes the code much more readable.

But in general, his code is way too unreadable.

Not enough category theory, too.

Phillips

This morning, at Lambdaconf, Paul suddenly spoke about non-boolean logic, about intuitionism, about categories. An interesting turn of events.

праймеризы придумал Димон

http://www.kommersant.ru/doc/1944323

Предложил ввести в ЕР праймериз. В далеком 2012-м. Сразу после всего этого. Тогда и деньги еще были, кстати.

a question to lisp/scheme/clojure people

Is it possible in a standard preface define a bunch of decent types, and then just avoid using string- or list-typing?

слишком просто было

Рассказал про логику топоса Гротендика, на примере кошечек и собачек
https://docs.google.com/presentation/d/1rrHWik3hs5hvYVkpU6V3x_rl1TCbckkwHfd83fM3f2Q/edit?usp=sharing

Гершом говорит, слишком просто было. Фигасе. В следующий раз попробую теорему Ловира-Тьерни изложить населению. Пусть наслаждаются.

Ну или про универсальную модель. Я, похоже, становлюсь популярным популяризатором нетривиального (теперь я Чебурашка).

listening to M.Patterson

http://maradydd.livejournal.com/