[손효민]

Record가 여러 id들에 각각 loc 을 대응 시킨 뭉치로 이해하고 있었는데 제공 된 코드 상에서 value는 Record of (id * Loc.t)로 정의돼 있어서 한 쌍의 (id -> loc) 만 가질 수 있는 것 아닌가요??

RECORD 생성자 (RECT 맞나요??) 에서 반환되는 값이
{x1 -> l1 , ... , xn -> ln}, M_n {l1 -> v1 , ... , ln -> vn} 인데
{x1 -> l1 , ... , xn -> ln} 은 Record (Id -> Addr)의 list를 반환하라는 의미인가요??
M_n {l1 -> v1 , ... , ln -> vn}는 이해가 잘 되는데 앞의 것은 무엇을 반환해야 하는지 잘 모르겠습니다...

(04/05 01:39 수정)
Record라는게 일종의 함수를 값으로 가지는 개념인걸 이제 이해했습니다.
대충 함수를 받아서 함수를 반환하는 함수를 짜는 식으로 해결 했습니다!!

[이재호]

네, 구현하는 언어(OCaml)에 있는 데이터 타입 중 어느 것을 사용하여도, K-의 레코드를 녹여낼 수 있다면 무방합니다. 함수, 리스트, 맵 등등 다양한 구현 방식이 있을 수 있습니다.
결국 Record를 어떻게든 녹여내 만든 후, 그것을 사용할 때 잘 동작하면 됩니다.

감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr