게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

[HW7] 저지방 M (simple type checker) EQ에서 Loc 타입의 비교

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2023)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
이진우0306



가입: 2023년 3월 8일
올린 글: 10

올리기올려짐: 2023년5월31일 11:17    주제: [HW7] 저지방 M (simple type checker) EQ에서 Loc 타입의 비교 인용과 함께 답변

안녕하세요,

비록 과제 기한은 지났지만 HW7 4번 스펙에 대해 의문점이 있어 이렇게 질문드립니다.

이전에 올라온 질문에 대한 답변에 의하면 Loc 2개를 EQ로 비교할 때 Loc의 내부 타입이 같아야 한다고 적어주셨는데,
M 스펙 문서에 의하면 l을 비교할 때 내부 타입에 대한 참조를 하지 않고 같은 location address를 가지는지만 검토하는 듯 합니다.

- malloc 시에 반환되는 l은 Loc 집합의 원소
- 스켈레톤 상으로 Loc = int로, Loc의 원소는 별다른 타입 정보를 가지고 있지 않음
- semantic 상으로 (실제) l1 = l2 -> (코드) (l1 = l2): true
l1 != l2 -> (l1 = l2): false
즉, M의 specification 상으로는 Loc의 비교는 단순 int의 비교와 같이 값에 대한 비교라고 사료됩니다.

만약 이러한 주장이 맞다면, 테스트케이스에 서로 다른 타입을 비교할 때 타입에러를 발생시키지 않은 것을 정답으로 처리하거나, 만약 이전 QnA와 상충되는 내용이라 채점 기준을 변경하기 어렵다면 그러한 예제를 채점 시에 아예 배제해주시면 감사드리겠습니다.

감사합니다.
이진우 드림
위로
사용자 정보 보기 비밀 메시지 보내기
김도형



가입: 2022년 3월 8일
올린 글: 103

올리기올려짐: 2023년5월31일 16:58    주제: 인용과 함께 답변

안녕하세요.

이야기해주신 바에 대해서는 어느 정도 이해하지만, M 문서에서 타입이 어떤 식으로 이용되고 있는지를 생각하면 그렇게 할 수는 없을 것 같습니다.

malloc 에서 loc의 타입 정보가 나오는 것은 물론, assign 문법에서 타입 시스템은 loc에 값을 넣을 경우 그 loc에 들어갈 값의 타입과 loc의 타입이 일치하기를 요구하고 있습니다.

loc 타입의 비교는 따라서 그것이 어떤 loc에 대한 것인지 역시 비교해야만 합니다.

감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2023) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay