Канцеллятор K - это в точности хаскелловский const :)
Аппликативная - в смысле применяемая к чему-то, то есть имеющая тип со стрелочкой.
> Что, кстати, про типизированную лямбду почитать? Сам разбираюсь с этим хозяйством :) Засада в том, что лямбда одна, а типизировать можно по-разному. К счастью есть классика, покрывающая большинство интересных направлений: Barendregt "Lambda Calculi with Types" 1992 http://citeseer.ist.psu.edu/barendregt92lambda.html
Всё остальное, насколько я понимаю - либо перепевы и пояснения, либо довольно специальные вещи. Есть, например, такая штучка от SPJ http://citeseer.comp.nus.edu.sg/75539.html
no subject
Аппликативная - в смысле применяемая к чему-то, то есть имеющая тип со стрелочкой.
> Что, кстати, про типизированную лямбду почитать?
Сам разбираюсь с этим хозяйством :)
Засада в том, что лямбда одна, а типизировать можно по-разному. К счастью есть классика, покрывающая большинство интересных направлений: Barendregt "Lambda Calculi with Types" 1992
http://citeseer.ist.psu.edu/barendregt92lambda.html
Всё остальное, насколько я понимаю - либо перепевы и пояснения, либо довольно специальные вещи. Есть, например, такая штучка от SPJ
http://citeseer.comp.nus.edu.sg/75539.html