Теор. вопросы по лямбда-исчислению.
От: SergASh  
Дата: 09.05.08 14:42
Оценка:
Привет всем!

Читаю книжку Дж. Харрисона "Введение в функциональное программирование", возникло несколько вопросов.

Во-первых, что из себя представляет комбинация (один из четырех видов лямбда-терма)? Правильно ли я понимаю, что запись u v подразумевает неявное присутствие бинарной операции, соответствующей применению u к v.

Если это так, то неясно что будет, когда u не является лямбдой (абстракцией по терминологии Харрисона), то есть как он в таком случае "применяется"?

Далее, что тогда означает запись u v w ? Если действительно имеется в виду бинарная операция, то для неё необходимо задать ассоциативность, иначе без скобок запись лишена смысла. Ассоциативность левая или правая?

Во-вторых, непонятно как получена такая лямбда-редукция?
(\x.x x x)(\x.x x x) -> (\x.x x x)(\x.x x x)(\x.x x x)

Спасибо.
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.