[최우정]

조교님 안녕하세요,

1.
let transform (e :exp) :cmd = raise Todo
를 구현할때

e 는 항상 valid하다고 가정해도 되나요?

그렇지 않다면
invalid한 e가 들어왔을때도 변환을 하거나 해야하는지 어떻게 처리하면 되는지 궁금합니다.

2.
Repeat (a, b)에서 a에 (Read+101)가 오는 경우,
항상 valid 하긴 한데, 값이 고정되지 않아도 변환이 가능한지 궁금합니다.

[김윤승]

1. valid한 것이라고 가정하고 변환하면 됩니다.
invalid한 e가 들어오면 그 결과는 우리의 관심이 아닌 것이죠. 따라서 아무렇게나 처리해도 됩니다.

잠시 다른 얘기를 하자면, 컴파일러가 invalid한 코드를 받으면 정말 쌩뚱맞은 코드로 바꿔치기해도 그 변환은 옳은 변환입니다. 이와 같은 맥락입니다.

2. 1에 이어서, 어떤 e가 read에 따라 valid하지 않을 수도 있지만 transform은 valid하다고 가정하고 하면 됩니다.