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

[juan_gandhi]

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

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

Comments

[juan-gandhi.livejournal.com]

:) Ну, во-первых, категорщику этот результат совершенно был неизвестен; во-вторых, зависит от того, что у человека в голове первично. Вот взять ту же монаду; для кого-то это "контейнер для данных", а для кого-то просто композиция двух сопряженных.

[pbl.livejournal.com]

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

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

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

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