허기홍
가입: 2007년 9월 27일 올린 글: 231
|
올려짐: 2009년11월4일 19:22 주제: |
|
|
괜찮습니다.
뼈대가 부실한 탓이죠.
다행히 이번 질문은 뼈대 문의가 아니군요.
말씀하신 것은 \x.x가 답입니다.
변수는 가장 가까이 있는 람다에 얽매입니다.
여러 프로그래밍 언어에서 쓰이는 스코프와 같은 철학입니다.
(\x.\x.x) y 를 alpha conversion 하면
(\x'.\x.x) y가 되고
beta reduction 하면
\x.x 가 됩니다. |
|