[한재화]

ASSIGN은 수업시간에 정의를 하지 않은것 같은데요.
LETV랑 별반 다를게 없어보이는데, 어떤 정의가 나와야합니까?

만약 ASSIGN이 환경과 메모리를 변화시키는 것이라면,

[남기웅]

환경을 변화시킬 수 있는 명령은 let 과 함수 호출 밖에 없는 듯 합니다. 그것도 일정한 범위 안에서만 환경을 변화시키는 것이기 때문에, 그 외의의 명령문에서는 환경은 별로 고려하지 않아도 되는 것 같습니다.

즉 assign은 결과적으로 메모리의 변화만 일어 나겠죠. (E를 계산하는 과정에서는 환경이 변화햇을 수도 있지만).

x=E 하면, 현재 환경과 메모리에서 E를 계산한 값 v를 x의 location에 저장하는 것이겠지요. E가 제대로 된 값을 계산하지 않는다면 문제가 되겠지요.