Ну я не знаю, а как лямбду нормально в теор кате описать? Для каждой стрелки городить curry? Тогда не очень ясно, как красиво сделать higher order функции.
Но зато "у них" какая-то фигня с функторами должна получаться, ибо теперь он должен различать BA?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2013-01-09 02:17 pm (UTC)Но зато "у них" какая-то фигня с функторами должна получаться, ибо теперь он должен различать BA?