http://deni-ok.livejournal.com/ ([identity profile] deni-ok.livejournal.com) wrote in [personal profile] deniok 2008-03-28 08:19 pm (UTC)

Канцеллятор K - это в точности хаскелловский const :)

Аппликативная - в смысле применяемая к чему-то, то есть имеющая тип со стрелочкой.

> Что, кстати, про типизированную лямбду почитать?
Сам разбираюсь с этим хозяйством :)
Засада в том, что лямбда одна, а типизировать можно по-разному. К счастью есть классика, покрывающая большинство интересных направлений: Barendregt "Lambda Calculi with Types" 1992
http://citeseer.ist.psu.edu/barendregt92lambda.html

Всё остальное, насколько я понимаю - либо перепевы и пояснения, либо довольно специальные вещи. Есть, например, такая штучка от SPJ
http://citeseer.comp.nus.edu.sg/75539.html

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting