[남기웅]

교재 79쪽에 보면, let x=E in E' 이런 명령에서 앞의 E를 수행하는 동안의 메모리 변화가 무시되고 있는데요.

예를 들어서

let y=0 in
let x =(y=1) in
A

이런 형태에서 y에 1을 assign 하는 메모리 변화가 A 에서 적용이 안됩니다.

제가 파악하고 있는 것이 의도된 것과 맞는지요?