[sggunha]

안녕하세요

수강생 김건하입니다.

포함해주신 k- 예제 중 7번에서

let proc f (a,b,c) =
write a;
write b;
write c;
b := 5;
(a * b) + c
in
let x := 1 in
let y := 2 in
let z := 3 in

write(f<x,y,z> + y)

의 결과가 1 2 3 13
이 되어야 한다고 적혀있는데

k- 의 ADD e1 e2 정의가 e2를 먼저 연산하고 e1을 연산하는 순서라서
y는 2로, f<x, y, z>는 8로 연산되어 10이 나오는 것이 맞는 것 같아서 질문드립니다.


그래서 순서를 바꾸어
let proc f (a,b,c) =
write a;
write b;
write c;
b := 5;
(a * b) + c
in
let x := 1 in
let y := 2 in
let z := 3 in

write(y+(f<x,y,z>))

로 하였을때는 1 2 3 13이 나오는게 맞는 것 맞을까요?

감사합니다.
김건하 드림.

[안중원]

안녕하세요, 조교 안중원입니다.

말씀하신대로 처음 올려드렸던 test7.k-- 파일 주석에는 실행 결과가 잘못 적혀있습니다.
첫번째 코드대로라면 1 2 3 10이 나오고, 두번째 코드대로라면 1 2 3 13이 나오게 됩니다.
현재는 스켈레톤의 예제 파일이 수정된 상태이니 숙제4 공지를 확인해보시기 바랍니다.

감사합니다.
_________________
TA 안중원
TA e-mail: ta310@ropas.snu.ac.kr
personal e-mail: jwahn@ropas.snu.ac.kr