[김재원]

semantics를 참고해보면 while문이 메모리의 변화와 함께 v값을 내놓는 것으로 되어 있는데요,
말하자면 while문의 설탕구조라 할 수 있는 for문의 경우 unit값을 내놓는 반면 while문이 값을 내는 이유가 무엇인지, 그 내놓은 값이 어떤 의미를 갖는지에 대해 궁금합니다. while문이 되돌리는 값을 쓸 일은 별로 없을 것 같아서요..

혹여 제가 잘못된 것이라면 지적해주시면 감사하겠습니다.^^

[손님]

제가 보기에는 동일해 보입니다만,

for 문에서도 for loop이 지속되는 동안 계속적으로 값v0, v1, ..., vn을 내 놓고,
for loop이 종료 되는 시점에서 unit이 반환됩니다.

while도 같네요. loop의 condition이 true인 동안 값을 반환하고,
loop의 condition이 false가 되면 unit이 반환됩니다.

loop condition이 true경우에 값이 반환 되는 것은,
expression 실행의 semantic에서 온 것이라 생각됩니다.
SEQ의 semantic에서도 보여지듯이, M|E1->v1,M'이네요.

[Yoonseok Ko]

답글달때 사용자 이름을 무명으로 올렸군요.
조교님 죄송합니다;;
살려주세요;;

[김재원]

for loop 과 while loop 의 결과를 동일하게 보려면
while loop 의 condition 값이 false 가 되는 경우를 봐야 하는 건데,
착각을 했군요.ㅋ 감사합니다 ^^