게시판 인덱스

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

질문 : 4-2 에서 "let proc f(x) =e1 in e2" 를 녹일 때

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



가입: 2007년 10월 20일
올린 글: 7

올리기올려짐: 2007년10월22일 22:54    주제: 질문 : 4-2 에서 "let proc f(x) =e1 in e2" 를 녹일 때 인용과 함께 답변

마감 전에 답변을 들을 기회가 없을 것 같기는 합니다만.....

코드:

let proc f(x) =e1 in e2

를 녹이는 식의 윗변에 보면
코드:

G|- e1 => e1'

이 있는데요.

이것을
코드:

G-{x} |- e1 => e1'

로 하는 것이 맞지 않는지요 ?

예를 들어

코드:

let proc f(x) =
   (
      (let proc g(x) = x+5 in
         write 1);
      1
   )
   in
      write 1


위와 같은 프로그램을 녹인다고 합시다.
코드:

let proc g(x) = x+5 in

를 처리할 때는 "G"안에 "x" 가 들어 있겠죠.
그런데
코드:

g(x) = x+5

에서 우변의 x 는 "G" 안에 들어 있는 "x" 랑은 다른 변수 이기 때문에
코드:

G-{x} |- e1 => e1'

를 사용해야 할 것 같습니다.

답변 부탁드립니다.
위로
사용자 정보 보기 비밀 메시지 보내기 MSN 메신저
남기웅



가입: 2007년 10월 10일
올린 글: 17

올리기올려짐: 2007년10월23일 10:35    주제: 인용과 함께 답변

그런 것 같습니다. 저도 김도겸씨처럼 바꿔서 했어요...

바꾸지 않는다면, 계속 똑같은 x를 파라미터로 가지는 함수를 선언할 경우 (함수 정의 안에서 계속 반복) 오작동이 되겠지요.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2007) 시간대: GMT + 9 시간(한국)
페이지 11

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


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