이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김동현
가입: 2009년 9월 15일 올린 글: 7
|
올려짐: 2009년11월2일 22:37 주제: 5-2, 5-3의 입출력이 일치하지 않는것 같습니다. |
|
|
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라면서 에러가 뜨네요.
이걸 어떻게 해결해야 할지 잘 모르겠습니다... |
|
위로 |
|
|
김성준
가입: 2009년 9월 10일 올린 글: 30
|
올려짐: 2009년11월2일 23:29 주제: |
|
|
아래의 문제는 "K.NUM"으로 표기하면 해결됩니다 |
|
위로 |
|
|
허기홍
가입: 2007년 9월 27일 올린 글: 231
|
올려짐: 2009년11월3일 9:51 주제: |
|
|
우선 5-3의 pp.ml 이 잘못된것 같습니다.
지금 이 글을 올린 후 제가 다시 올려놓겠습니다.
Lam("s", Lam("z", App( Id("s"), Id("z") ) ) )
를 입력하면
결과는
(\s.(\z.(s) (z))) 가 나올 것입니다.
또 이상이 있으면 말씀해주세요. |
|
위로 |
|
|
김동현
가입: 2009년 9월 15일 올린 글: 7
|
올려짐: 2009년11월3일 10:28 주제: |
|
|
그래도 마찬가지인 것 같습니다.
\s.(\z.((s) (z)) )가 돼야할 것 같아요. |
|
위로 |
|
|
허기홍
가입: 2007년 9월 27일 올린 글: 231
|
올려짐: 2009년11월3일 12:01 주제: |
|
|
수정했습니다.
5-2, 5-3 모두 pp.ml을 고쳐놓았습니다. |
|
위로 |
|
|
|