게시판 인덱스

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

HW 6-3 EQ 질문입니다.

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2014)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
유경인



가입: 2013년 9월 9일
올린 글: 29

올리기올려짐: 2014년11월16일 19:38    주제: HW 6-3 EQ 질문입니다. 인용과 함께 답변

pair와 closure의 경우 정의가 trivial하지 않은 것 같습니다.
특히 두 closure가 같은지 판별하는건 불가능해보이고요..

Pair의 경우, 다음 case들의 결과가 어떻게 되어야 하는지 확인해 주십시오

1) (1, 2) = (1, "a") : TypeError? False?
2) (1, 3) = (2, "a") : TypeError? False?
3) (1, (2, 3)) = (1, 2) : TypeError? False?
위로
사용자 정보 보기 비밀 메시지 보내기
방정호



가입: 2011년 9월 19일
올린 글: 40

올리기올려짐: 2014년11월16일 23:14    주제: 인용과 함께 답변

저도 그거 질문 올렸었는데요. https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4615
M 문서를 보니, pair, closure 에 대해서는 = 에 대한 정의가 없더군요.
그래서 그런 비교는 에러 내도록 했네요.
조교님께서 확인해 주시면 좋겠군요.
위로
사용자 정보 보기 비밀 메시지 보내기
강동옥



가입: 2009년 9월 18일
올린 글: 602

올리기올려짐: 2014년11월16일 23:18    주제: 인용과 함께 답변

네, pair와 closure에 대한 설명이 부족했던 것 같습니다.

예년의 정책 및 숙제 문서에 적힌 스펙 등을 고려하여 다음과 같이 확정하였습니다. 스펙 공지글 https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4563 에도 반영하였습니다.

인용:
- Equal의 semantic에 대한 상세한 정의는 M 언어 스펙 문서 http://ropas.snu.ac.kr/~kwang/4190.310/14/M.pdf 를 따라가는 것으로 하겠습니다.
(1) 두 값이 같은 타입일 경우 값이 같으면 true, 다르면 false, 타입이 다르면 TypeError 예외를 발생시키시면 됩니다. 예외의 인자로 사용될 문자열은 자유롭게 정하시면 됩니다.
(2) 단, 두 값이 모두 Pair/Closure 타입일 경우 어떻게 처리하셔도 무방합니다. (True, False, 예외 처리 중 자유롭게 선택). Pair나 Closure 간의 비교는 채점시 테스트케이스로 사용하지 않겠습니다.


혹시 명확하지 않은 부분이 있으면 다시 질문해 주시기 바랍니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2014) 시간대: GMT + 9 시간(한국)
페이지 11

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


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