게시판 인덱스

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

3-2에서 assign에 관하여 질문합니다

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



가입: 2009년 10월 5일
올린 글: 14

올리기올려짐: 2010년10월2일 4:35    주제: 3-2에서 assign에 관하여 질문합니다 인용과 함께 답변

뼈대코드와 함께 올려주신
K- 프로그램 example들을 보면
bind되지 않은 변수에 대하여 assign을 하는 경우가 종종 있는데
이것이 가능한가요?
아니면 오류를 내면 되나요

코드:
ex1)
x := 4; write 27

ex2)
x := 4; write x

ex3)
let x:= 4; y := 5 in x + y


그리고 bind되지 않은 변수에 대하여 read하는 경우도 마찬가지로 궁금합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
조성근



가입: 2009년 9월 14일
올린 글: 283

올리기올려짐: 2010년10월2일 10:09    주제: 인용과 함께 답변

bind 되지 않은 변수에 대하여 assign을 하거나 read를 하면 안됩니다.
Env.empty의 정의를 보시면 아시겠지만, 만약 그러한 경우가 생긴다면 Env.Not_bound 예외를 일으키도록 되어 있습니다.

예제 코드에서 bind되지 않은 변수에 대하여 assign하거나 read하는 예제를 수정하였습니다만, 혹시라도 또 발견된다면 알려주세요.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2010) 시간대: GMT + 9 시간(한국)
페이지 11

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


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