| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
신채환
가입: 2024년 3월 6일
올린 글: 12
|
 올려짐: 2024년6월8일 2:25 주제: [과제 8] 1번 주소 간 상등 연산 관련 질문 |
 |
|
과제 8의 1번 문제와 관련하여 질문이 생겨 글을 쓰게 되었습니다.
언어 M 문서 9쪽에서 상등 연산 자료형은 다음과 같이 정의되어 있습니다.
| 인용: | Γ ⊢ e₁ : τ Γ ⊢ e₂ : τ τ = i, b, s or l
-------------------------------------------
Γ ⊢ e₁ = e₂ : b |
원래 저는 이를 τ = l일 때, 즉, Γ ⊢ e₁ : l이고 Γ ⊢ e₂ : l일 때가 어떤 자료형의 주소인지에 관계없이 가능하다고 해석했었습니다. 그런데 과제 8 공지사항에서는 다음과 같이 적혀 있었습니다.
| 인용: | | M 문서의 static semantics를 보시면 loc의 내용물 타입이 같아야만 비교가 가능한 것으로 되어 있습니다. 즉 int loc 과 bool loc의 비교는 타입 에러입니다. |
여기서는 주소 간의 비교에서 어떤 자료형의 주소인지도 확인해야 한다는 뜻으로 보입니다. 그래서 이와 관련하여 확실히 하고자 둘 중 어느 것이 맞는지 질문드립니다.
읽어 주셔서 감사합니다. |
|
| 위로 |
|
 |
이재호
Site Admin
가입: 2022년 3월 6일
올린 글: 209
|
| 올려짐: 2024년6월8일 12:52 주제: |
|
|
안녕하세요,
τ = l (주소)이기 위해서는, Type τ의 정의를 보시면 τ ::= τ loc인 경우뿐입니다. 즉, τ = l이라는 말은 애초에 l = τ' loc 이라는 것을 나타내는 것입니다.
따라서 원래 공지사항에 적힌 의미로 이해하시면 됩니다.
감사합니다.
조교 드림
TA 이재호
e-mail: jhlee@ropas.snu.ac.kr |
|
| 위로 |
|
|
신채환
가입: 2024년 3월 6일
올린 글: 12
|
| 올려짐: 2024년6월8일 15:49 주제: |
|
|
| 감사합니다! |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
