이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
전보영
가입: 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하는 예제를 수정하였습니다만, 혹시라도 또 발견된다면 알려주세요. |
|
위로 |
|
 |
|