[구본영]

올려주신 Semantics에 있는 RECT문법을 보면 LETV와 같이 memory를 allloc해줘야 할것 같은데, 맞나요? 아니면 Assign과 같이 store만 해주면 될까요?

CALLV에서 Mn{l1->v1}...{ln->Vn}이 있는데 이것의 의미를 모르겠습니다. 혹시
Mn{l1->v1, l2->v2........ln->Vn}과 같은 의미인가요? exp가 이와같이 여러개가 들어올때 어떻게 처리해야 할지 모르겠습니다. 한번에 각 exp에 대한 semantics를 돌리고 그 반환된 v들과 최종memory를 담아서 풀어야 할지, 잘안되네요 ㅠㅠ

힌트좀 주세요 조교님!!

[이승중]

1. 예를 들어 { x := 1 } 라는 구문이 에서 생각해보면
1을 저장할 공간이 없죠.. 현재 환경에 x가 있어도 그건 레코드의 x와는 다른 것이니 거기에 저장하면 안될거고요.. 결국 새로운 메모리 공간을 만들어서 1을 저장한 후에 그 위치를 레코드의 x에 넣어줘야 할겁니다.

2. Mn{l1 -> v1}{l2 -> v2} 는 (Mn{l1->v1}){l2 ->v2} 구요
Mn에 일단 l1, v1을 넣고 그 결과로 나온 메모리에 다시 l2, v2를 넣는다고 생각하시면 됩니다. 결과적으로 Mn{l1 -> v1, l2 -> v2} 랑 같습니다.

인터프리터는 문서에 써있는 대로 순서대로 실행하는 것이 좋습니다.
함수를 여러 개로 나눠서요