[김동현]

5-3에서 encode의 결과값이

Lam("s", Lam("z", App( Id("s"), Id("z") ) ) )가 되도록 하니

output program이 \s.\z.(s) (z)로 나타났습니다.

이것을 5-2의 test.l에 그대로 넣으면 \s.(\z.((s) (z)) )로 인식해야 하는데

(\s.(\z.(s))) (z)로 받아들이는 것 같습니다.



그리고 5-1에서 질문이 있습니다.

match pgm with NUM(i)->... 이런식으로 쓰고 싶은데

unbound constructor라면서 에러가 뜨네요.

이걸 어떻게 해결해야 할지 잘 모르겠습니다...

[김성준]

아래의 문제는 "K.NUM"으로 표기하면 해결됩니다

[허기홍]

우선 5-3의 pp.ml 이 잘못된것 같습니다.
지금 이 글을 올린 후 제가 다시 올려놓겠습니다.

Lam("s", Lam("z", App( Id("s"), Id("z") ) ) )

를 입력하면

결과는

(\s.(\z.(s) (z))) 가 나올 것입니다.


또 이상이 있으면 말씀해주세요.

[김동현]

그래도 마찬가지인 것 같습니다.

\s.(\z.((s) (z)) )가 돼야할 것 같아요.

[허기홍]

수정했습니다.

5-2, 5-3 모두 pp.ml을 고쳐놓았습니다.