затягивает чтение...

[juan_gandhi]

http://ncatlab.org/nlab/show/partial+combinatory+algebra

Так из нефиг делать лямбды лепятся в ССС и в топосе...

Comments

[pbl.livejournal.com]

> Ну, во-первых, категорщику этот результат совершенно был неизвестен

Вот это многое объясняет, на самом деле. Я смотрю на это с точки зрения человека, который немножко понимает в КЛ и лямбда-исчислении, но ничего не понимает в теоркате. С противоположной перспективы все по-другому выглядит, конечно, что мне и трудно представить.

> для кого-то это "контейнер для данных"

Ну это совсем нелестное сравнение для нас, сермяжных погромистов, потому что это представление неконсистентно же. Настоящие сермяжные погромисты представляют монады как композицию эффектов, даже те которые как бы "контейнеры".