[최정원]

안녕하세요, 숙제 3과 관련하여 질문드릴 게 있습니다.

1.
기본 연산과 비교 syntax의 경우 (ADD, SUB, MUL, DIV, EQUAL, LESS) 제공해주신 pdf에는 입력 인자로 들어오는 expression 중 두 번째 expression (e2)를 먼저 eval 을 통해 메모리를 변화시킨 다음 첫 번째 expression (e1)을 eval하는 것 같습니다.

예를 들어 아래 ADD의 경우 e2를 먼저 처리하고 그 메모리 M1으로 e1을 처리하는 것으로 판단했습니다. 그러나 일반적으로 식을 풀 때는 ADD (e1, e2)와 같이 입력이 들어오면 (e1 + e2)을 해결할 때 e1을 먼저 처리할 것 같아 헷갈립니다.

[신채환]

안녕하세요? 조교 신채환입니다.

1. PDF 파일에서 적힌대로 하는 것이 옳습니다. 해당 예시에서는 오른쪽 `x`부터 실행하여 `3`이 나오는 것이 맞습니다.

2. 실행 의미가 정의되어 있지 않은 상황이 발생할 때 예외를 발생시키면 됩니다. 이때 어떤 값이 다른 타입이었으면 실행 의미가 정의된다면 타입 에러를 발생시킵니다.

얘를 들어, `if`와 `then` 사이에 정수 값이 들어갔다면, 실행 의미가 PDF 파일에 정의되어 있지 않으니 예외를 발생시켜야 합니다. 그런데 해당 값이 참 또는 거짓이었다면 실행 의미가 정의되어 있었을 것이므로 타입 에러를 발생시켜야 하는 것입니다.

정리하자면, 오류를 발생시켜야 하는지는 PDF에 해당 상황이 정의되어 있는지에 따라 결정되고, 그 중 특정한 상황에서는 특정한 에러를 발생시켜야 한다고 생각하시면 됩니다.

[최정원]

답변 감사드립니다!

2번에서 말씀해주신 게 아직 살짝 헷갈리는데, if (정수) then 처럼 실행 의미가 pdf에 정의되어 있지 않은 경우는 타입 에러가 아니라 다른 종류의 에러를 발생시켜야 한다는 말씀이신가요? if (참/거짓) then의 경우는 실행 의미가 정의되어 있음에도 타입 에러가 나야한다는 부분을 잘 이해 못하겠습니다ㅠㅠ

두 가지 더 여쭤보고 싶은데, LET의 정의에서 ℓ 6∈ domM1 도 따로 식이나 함수를 이용해 확인하는 과정을 거쳐야 하는지, binding을 하는 과정에서 자연스럽게 될 수밖에 없는 것인지 알고 싶습니다. 따로 이를 확인하는 방법이 있는지 확실하지 않지만, 적용하려 하지 않아도 작동하는 것 같아 여쭤봅니다.

마지막으로 " _ -> failwith "Unimplemented" (* TODO : Implement rest of the cases *)" 코드는 마지막에 삭제하면 되는지, 그리고 Bool.not 모듈을 써도 되는지 알고 싶습니다.

다시 한 번 답변해주셔서 정말 감사합니다!

[신채환]

정확히는 `if` (정수) `then` 꼴이 나왔을 때, 만약 중간의 값이 참 또는 거짓이었으면 정상적으로 정의가 되었을 것이므로, 타입 에러를 발생시켜야 한다는 뜻이었습니다. 즉 실행 의미가 정의되지 않은 상황에서, 타입만 고치면 괜찮아지는 경우에 타입 에러를 낸다고 생각하시면 될 것 같습니다.

[신채환]

추가 질문에 대해 답변을 드리자면,

1. 주소 관련해서는 k.ml 파일에서 Memory signature 부분의 함수와 설명을 읽어 보시면 도움이 될 것 같습니다.

2. 해당 부분은 필요한 것을 모두 구현하셨다면 자동으로 지우라고 오류를 낼 것입니다. 그때 지우시면 될 것 같습니다.

3. 사용하셔도 됩니다.