затягивает чтение...
May. 18th, 2015 08:13 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
juan_gandhihttp://ncatlab.org/nlab/show/partial+combinatory+algebra
Так из нефиг делать лямбды лепятся в ССС и в топосе...
Так из нефиг делать лямбды лепятся в ССС и в топосе...
juan_gandhijuan_gandhi
Page Summary
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
Active Entries
- 1: Тоффлера почитайте, занятно
- 2: белый дыбр
- 3: кино и домино
- 4: lies
- 5: 1990
- 6: Бумеры съели наши плюшки
Style Credit
- Style: Neutral Good for Practicality by timeasmymeasure
Expand Cut Tags
No cut tags
no subject
Date: 2015-05-20 07:02 pm (UTC)Я не спец по фактам про бестиповую лямбду, интересно.
no subject
Date: 2015-05-20 07:25 pm (UTC)Честно коммутируют, но никаких особых чудес из этого, кажется, не получается. Это скорее пример, что при желании сопряжённый функтор можно найти везде.