게시판 인덱스

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

8-1 Loc의 eq에 대한 질문

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



가입: 2015년 9월 17일
올린 글: 10

올리기올려짐: 2015년12월13일 21:17    주제: 8-1 Loc의 eq에 대한 질문 인용과 함께 답변

안녕하세요 조교님

8-1 m 언어에서 Loc type에 대해서 eq 연산자를 사용할 수 있습니다.
그런데 문서의 m 언어는 Loc이 어느 타입의 loc인지 따로 생각을 안하는데 저희 과제에서는 어느타입의 loc인지를 고려하는것 같습니다.
이럴 때 다른 타입의 loc끼리도 eq를 쓸 수 있나요?
예를 들어 int의 loc과 bool의 loc을 비교하려고 하면 타입에러가 나야하는지, 제대로 되어야 하는지 궁금합니다.

감사합니다!!
위로
사용자 정보 보기 비밀 메시지 보내기
박성원



가입: 2015년 9월 1일
올린 글: 19

올리기올려짐: 2015년12월14일 5:27    주제: 인용과 함께 답변

작년 게시판을 찾아보니
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4754
이런 글이 나왔는데,
올해도 이렇게 해주시지 않을까요?? 허허...
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기
민세원



가입: 2015년 9월 17일
올린 글: 10

올리기올려짐: 2015년12월14일 9:01    주제: d 인용과 함께 답변

아 작년게시판에 있는내용이네요
감사합니다!! Very Happy
위로
사용자 정보 보기 비밀 메시지 보내기
최재승



가입: 2012년 9월 10일
올린 글: 211

올리기올려짐: 2015년12월14일 9:28    주제: 인용과 함께 답변

안녕하세요,

M 언어의 2. Dynamic semantics 에는 loc에 들어있는 내용물의 타입이 달라도 두 loc을 비교할 수 있게 되어 있습니다.

반면 3. Static Semantics (type rule) 에는 안에 들어있는 내용물의 타입까지 같아야 비교할 수 있도록 되어 있습니다.

숙제8의 타입 체커 구현은 static semantics를 따라가시면 됩니다. 타입 체커가 조금 불완전(incomplete)해지기는 하지만, 안전성(soundness)은 해치지 않으므로 괜찮습니다.

인용:
예를 들어 int의 loc과 bool의 loc을 비교하려고 하면 타입에러가 나야하는지, 제대로 되어야 하는지 궁금합니다.

타입 에러가 나지 않고 통과시킬 수 있다면 더 좋은(완전한) 타입 체커가 되겠지만, 우리 숙제에서는 타입 에러를 내도 괜찮습니다. 물론 채점에도 이러한 테스트케이스는 쓰지 않을 것입니다.

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

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


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