[최정원]

안녕하세요, 숙제 4의 K- 언어 구현에 대해 질문이 있어 여쭤봅니다.

1. CALL V에서 mem.store과 env.bind를 각각 두 번, 세 번 연속해서 적용하는 것 같은데, 혹시 적용하는 순서는 왼쪽부터 오른쪽 순이라고 생각하면 될까요?

2. CALL V, CALL R에서 expression list가 인자로 입력되는데, 이때 입력은 각각 [e1;e2]와 [x;e;y] 라고 생각해도 되나요? 혹은 CALLR의 경우 [x;(e, y)]라고 생각해야 하나요?

4. 만약 위 질문과 같이 CALLR 에서 expression list 가 x, field(e.y) 두 개라면, CALL R 의 경우 두 번째 항목에서 filed가 들어오지 않는다면 오류를 내도 되나요?

5. 현재 k— pdf의 semantics에는 마치 Record, Proc, Callv, Callr에 변수가 두 개씩만 들어오는 것처럼 되어 있습니다. 예를 들어 LetProc은 let proc f(x1, x2) = e in e1이라고 되어 있습니다. CallV도 f(x1, x2)가 예시고 CallR 은 f<x, e.y>입니다. 그러나 위쪽 Syntax에 보면

[안중원]

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

1. 변수 및 주소를 추가하는 순서는 규칙에 나와있듯 왼쪽에서 오른쪽으로 진행합니다.

2. 숙제 보충설명에 나와있듯 0 이상의 유한한 정수 개수의 인자를 처리하도록 구현하여야 합니다. 또, K- 식 f <x, e.y>는 ocaml 값으로는 CALLR ("f", [VAR "x"; FIELD (e, "y")])와 같이 들어옵니다.

4. CALLR의 인자에 VAR이나 FIELD가 아닌 식이 들어오는 경우는 고려하지 않으셔도 됩니다. 실제 구현에서는 예외를 내도록 처리하셔도 되겠습니다. 2번 문제에서 제출하시는 K- 코드에도 PDF에 나와있는 문법에 맞는 코드만을 포함하셔야 합니다.

5. 웹보드의 숙제 공지글에 포함된 보충설명을 읽고 숙제를 진행해주세요.

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

[최정원]

답변 감사드립니다!

2번의 경우 k--.pdf 예시는 하나만 call 된 경우고 여러 개라면 CALLR ("f", [[VAR "x"; FIELD (e, "y")];[VAR "x1"; FIELD (e1, "y1")];[VAR "x2"; FIELD (e2, "y2")] ... ; [VAR "xn"; FIELD (en, "yn")]])과 같이 들어오나요 CALLR ("f", [VAR "x"; FIELD (e, "y");VAR "x1"; FIELD (e1, "y1");VAR "x2"; FIELD (e2, "y2")]... ;VAR "xn"; FIELD (en, "yn")])과 같이 들어오나요?

또한 공지를 읽은 후에도 빈 Record가 들어왔을 때에 어떻게 처리해야 할지 잘 모르겠습니다. 리스트이므로 그냥 Record []로 하면 될까요? 또한, variable (id) list가 빈 리스트로 입력된 경우는 바인드할 게 없으므로 Unbound error을 내면 되는지 궁금합니다.

[최정원]

1. 추가로 계속 여쭤봐서 죄송한데, CALL R의 경우 처음 σ(f)를 부를 때 id list 가 예시의 [x1, x2] 보다 더 길 수도 있는 것으로 알고 있습니다. 즉, f가 어떻게 만들어졌느냐에 따라 [x1]일 수도 있고 [x1, x2, ..., xn]일 수도 있는 것 같습니다. 그러나 x1과 x2의 경우 다른 방식으로 처리하는 것 같아, 예시보다 id list가 더 길거나 짧을 때 어떻게 처리하면 될지 알고 싶습니다.

아래와 같이 x1 은 {x1 |→ σ(x)}로 x2는 {x2 |→ r(y)}로 처리됩니다. 이는 ID list가 항상 짝수이고, 홀수번째 x가 항상 {x1 |→ σ(x)}와 같이 짝수번재 x가 항상 {x2 |→ r(y)}와 같이 처리된다는 말씀일까요? 혹은 id list의 맨 처음 원소만 {x1 |→ σ(x)}처럼 적용되고 나머지는 모두 {x2 |→ r(y)}처럼 되는 것일까요?