이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
이소진
가입: 2022년 3월 4일 올린 글: 11
|
올려짐: 2022년4월17일 18:10 주제: [HW4] RECORD 관련 질문입니다. |
|
|
안녕하세요,
K- interpreter에서 eval mem env e를 실행한다고 했을 떄,
e의 타입이 RECORD라면 반환값이 Record list와 메모리의 페어가 맞나요?
감사합니다. |
|
위로 |
|
|
조승한
가입: 2021년 3월 11일 올린 글: 31
|
올려짐: 2022년4월18일 2:08 주제: |
|
|
Record와 메모리의 페어입니다.
Record = id -> Addr
Record는 http://ropas.snu.ac.kr/~ta/4190.310/22/show/K-.pdf의 3번째 페이지에 정의되어 있습니다.
r ={x1-> l1, x2-> l2}
위와 같은 record는 아래와 같은 방식으로 구현할 수 있을겁니다.
fun x -> if x = x1 then l1 else (if x = x2 then l2 else raise (Error "Unbound"))
감사합니다. |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|