Почему бесплатно в лямбда-то х

Question

я следующие лямбда-выражения:

x λ x. x 

Это функция приложения, но почему x является свободной переменной?

Answer 1

x не является бесплатным в лямбда, но он свободен за пределами лямбда. Или, проще говоря, в

x (\y. y) 

x свободен, но y нет. Переменные свободны, только когда нет привязанной лямбды, которая их связывает; поскольку нет лямбда, охватывающего x, безусловно, нет лямбда, охватывающего x, который также связывает x.