게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

ex2 test 결과에 대해..

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2009)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
노건일



가입: 2009년 9월 26일
올린 글: 50

올리기올려짐: 2009년11월5일 23:16    주제: ex2 test 결과에 대해.. 인용과 함께 답변

1. (\y.yy)z

2. App((Lam("y", App(Id "y", Id "y"))), (Id "z"))

일단 앞의 과한 욕심은 접고,
1번과 2번이 같은식이길 바라는건 과한 욕심이 아니겠죠?

그런데 make - run 으로 1번을 돌리면 yy가..
OCaml 실행기에서 2번을 돌리면 zz가 나옵니다. 물론 같은 코드로요

z를 더 복잡한 (예를 들면 (\z.z)) 식으로 바꿔도 결과는 역시
yy와 (\z.z)(\z.z)로 다르게 나옵니다.

뭐가 문제일까요.. 아.. 정말 시간이 갈수록 슬퍼집니다..
위로
사용자 정보 보기 비밀 메시지 보내기
허기홍



가입: 2007년 9월 27일
올린 글: 231

올리기올려짐: 2009년11월6일 14:12    주제: 인용과 함께 답변

1을 파싱하면 2가 될텐데

이상합니다.

ocaml 실행기에서 2번을 돌린다는 것은 무슨 말이죠?
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
김동현



가입: 2009년 9월 15일
올린 글: 7

올리기올려짐: 2009년11월6일 16:36    주제: 인용과 함께 답변

"yy"라는 free variable로 인식된게 아닐까요...
위로
사용자 정보 보기 비밀 메시지 보내기
노건일



가입: 2009년 9월 26일
올린 글: 50

올리기올려짐: 2009년11월6일 21:13    주제: 인용과 함께 답변

아 그냥 OCaml 실행기에서

reduce (App((Lam("y" .... ) ;;

이렇게 실행하면

App(Id "z", Id "z") 라는 결과를 뱉어주는데요

run으로 돌리면 yy라는 결과가 나오더라고요~

-----
free variable이라고 쳐도
저 z를 \z.zy 뭐 이런걸로 바꿔서 해봐도

Ocaml 실행기에서는
App(Lam(z, App(Id z, Id y)), Lam(z, App(Id z, Id y)))
이렇게 실행되고

run 에서는 그대로 yy로 나오더라고요..

문제가 뭔지 감도 못잡겠어요.. 어흑.
위로
사용자 정보 보기 비밀 메시지 보내기
허기홍



가입: 2007년 9월 27일
올린 글: 231

올리기올려짐: 2009년11월7일 1:12    주제: 인용과 함께 답변

김동현씨 말처럼

혹시 yy를 붙여쓰셔서 그런게 아닌가 싶습니다.

y y 해야 APP가 되는것입니다만...
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
노건일



가입: 2009년 9월 26일
올린 글: 50

올리기올려짐: 2009년11월7일 9:23    주제: 인용과 함께 답변

아...

진짜 멍청한 질문이었네요 ㅋㅋ

두분 감사합니다~
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2009) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay