[이치민]

날짜는 지났지만 딜레이기간이 남아있으니 답변 해주시겠지요 ㅠㅠ

while 문이 이해가 잘 안가서 질문드립니다.

의미를 WHILEF 와 WHILET로 나눠서 정의했는데

WHILET에서도 결국 while 문이 종료되려면(while e1 do e2 =>v2, M2)

조건문이 false가 되야 하므로

모든 while문의 return value는 결국 unit인게 맞나요?

[조성근]

예. 정확합니다.