[최승민]

안녕하세요,
K- 인터프리터 구현 시 value 자리에 function id가 들어가는 경우를 고려해야 하는지 궁금합니다.
예를 들어,

let proc f (x) = x
in
write f

와 같은 테스트 케이스가 존재할 수 있나요?

[오규혁]

안녕하세요,

고려하지 않는 경우입니다.
K- 의미 구조가 있는 pdf를 보시면 알 수 있는 내용입니다.

write e의 경우 e의 실행 의미가 정수여야 합니다. 하지만 function id인 경우는 그렇지 않은 경우입니다.

실행 의미가 정수인 경우(정수 연산, var 등)을 살펴보시고 e가 function id일 때 실행 의미가 정수가 될 수 있는지 살펴보시면 더 잘 이해되실 것 같습니다.


조교 드림
_________________
TA 오규혁
e-mail: ghoh@ropas.snu.ac.kr

[최승민]

우선 답변 감사드립니다!
말씀하신 내용은 인지하고 있으나,
파서에서 걸러줄 수 있는 부분은 아닌 듯해서, 이런 경우에 대한 예외처리를 구현해야 하는지 궁금했습니다.

최승민 올림

[오규혁]

네 맞습니다.

다만, 구현을 하다보면 자연스럽게 예외처리가 될 것으로 예상됩니다.

조교드림
_________________
TA 오규혁
e-mail: ghoh@ropas.snu.ac.kr