김현우
가입: 2010년 9월 6일 올린 글: 56
|
올려짐: 2011년4월28일 15:36 주제: 람다 계산법 질문 입니다. |
|
|
숙제 2번을 하다보니 인자가 여러 개인 람다식이 나타나는데 이럴 경우 어떻게 묶어야 하는 것인지 잘 모르겠습니다.
예를 들어 succ의 람다식 표현은 다음과 같은데
\n.\s.\z.s (n s z)
이것을
\n.(\s.(\z.(s ((n s) z ))))
로 보고 다음과 같이 표현하는 게 맞나요?
Lam(n, Lam(s, Lam(z, App(s, App(App(n, s), z)))))
아무래도 이상해서 제가 뭔가 근본적으로 잘못 이해한 느낌이 드네요 |
|