[박성희]

안녕하세요 프로그래밍언어 수강 중인 박성희입니다.

[OP]의 [Eq]에서 Loc를 받는 경우 좌측과 우측에 대한 Loc 내부의 세부타입 까지 같아야 하는 걸로 이해했습니다.

Γ e1 : τ and Γ e2 : τ (τ=i,b,s,or l)
--------------------------------------
Γ e1=e2 : b

그렇다면 저장해있는 타입이 다른 것 (예를 들자면 malloc 1과 malloc "PL2025")를 비교하려면 타입 오류?를 일으켜야 할 것 같은데요
그런데 현재 구현 상에는 exp1 (Loc int), exp2 (Loc int)로써 op2fn에 결과값을 끌고 와서 이항연산을 마무리하는 것으로 보입니다만, 여기서 Loc가 저장한 타입을 비교할 수가 있나요?

M언어의 구현 상 Loc는 그 내용이 주소값이 int밖에 없어서 추가적인 정보가 없는 한 해당하는 함수 내부에서는 주소값만 비교할 수 있을 뿐 그 안에 덩어리의 타입이 뭔지 파악할 수는 없을 것 같다는 게 제 생각이긴 합니다.
(op2fn에 메모리에 인자로 받지 않은 데다가 만약 받는 다고 해도 거기 안에서 타입체킹을 해야 한다는 소리인데 그러면 문제가 너무 복잡해지지 않을까 하는 생각도 있습니다.)

물론 Exercise 4와 같은 경우 타입 체킹을 할 수 있으니 문제가 없을 것 같습니다.

조금 고민을 해 보니 해당하는 문제가 Dynamic Semantics를 따라가는 것이니까 구체적인 타입이 정확하게 정의가 되지는 않은 상황으로 해당하는 상황에서 eq가 정의하는 8가지 규칙만 충실히 구현을 하면 된다라고 결론을 냈었는데 검토 중

[오규혁]

안녕하세요,
문제 3에서 세부 타입까지 비교하여 타입이 맞지 않아 타입 에러를 내야하는 것 아닌가 하는 질문으로 보이는데요.
인터프리터에서 loc간의 비교는 loc의 세부 타입을 생각하지 않으셔도 됩니다.
loc의 비교연산에서는 loc의 주소값을 비교하면 됩니다.

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