[홍선기]

let i := 3 in
for i := 2 to 1 do (
i := i - 1
);
write i

위 코드를 k-- 인터프리터로 돌린 결과 3이 출력되었습니다.


let i := 3 in
for k:= 1 to 2 do (
i := i - 1
);
write i

포문에서 처음 보는 변수를 쓰더래도 3이 출력되었습니다.
.
let i := 3 in
for k:= 1 to 2 do (
write k
);
write i
하지만 포문안에서 처음보는 변수에 접근하려고 하면 오류가 났습니다.


k-- 인터프리터가 어떻게 구현되었는지 자세히는 모르지만 아마 포문 변수에 아무거나
주어져도 무시하고 새로운 변수를 할당해서 독자적으로 쓰는 것 같습니다.

하지만 직관적으로 생각할때에는 당연히 포문에 주어진 "k"라는 변수명은 기존에 선언된 변수와 어떤 상호작용 (예를 들면 대입)을 하여야할 것 같습니다

(C같은 언어처럼
int i=3;
for (i=2; 0; );
printf("%d",i); -> 2가 출력됨

그래서 질문은 sm5를 구현할때 포문에서 초기문에 들어온 변수가 어떤 변수던지 간에 무시하고 새로운 이름의 변수하나를 할당하는 식으로 구현하여도 괜찮을까요?

[최재승]