[김현우]

숙제 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)))))

아무래도 이상해서 제가 뭔가 근본적으로 잘못 이해한 느낌이 드네요

[김진영_]

맞는 것 같습니다.
어떤 점이 이상해 보이시나요?