Ага, спасибо, поглядел слайды, интересно. Собственно вся эта серия началась с того, что я наткнулся на статью того же Jeremy Gibbons: http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/parametric.pdf И решил, что в бананах для меня не должно оставаться тёмных мест :) В частности, почему важен именно Bifunctor (Difunctor в терминологии Meijer-Hutton).
ЗЫ: Будем (в деле HUG) держать равнение на Лондон :)
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2007-12-30 11:29 pm (UTC)Собственно вся эта серия началась с того, что я наткнулся на статью того же Jeremy Gibbons:
http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/parametric.pdf
И решил, что в бананах для меня не должно оставаться тёмных мест :)
В частности, почему важен именно Bifunctor (Difunctor в терминологии Meijer-Hutton).
ЗЫ: Будем (в деле HUG) держать равнение на Лондон :)