1
\x->y 알파는 \y->y과 동일합니까? 제발 혼란스러워서 도와주세요. x-> y 알파는 y-> y와 동일합니까?
A
답변
2
아니오, 그들은 동등 알파하지
λx.y 무료 변수 y하고 있습니다 바운드 변수 x -
λy.y가 더 자유 변수 하나 개 바운드 변수가없는 Y 이것은 상수 인 y - 이것은 동일성 함수라고도합니다.