게시판 인덱스

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

6-4 함수타입 질문

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



가입: 2018년 9월 6일
올린 글: 18

올리기올려짐: 2018년11월26일 22:35    주제: 6-4 함수타입 질문 인용과 함께 답변

보충스펙에서
인용:

프로그램의 최종 타입을 m.ml 파일에 선언된 types 타입으로 표현하였을때 함수타입이 남아있는 경우는 입력으로 테스트하지 않을 것입니다.

라고 하셨는데요, 몇 가지 궁금증이 생겨서 질문 드립니다.

1. 최종적으로 M.types 중 "TyArrow of types * types" 형식의 타입이 정답이 되는 경우를 테스트 하지 않겠다는 것인가요?
2. 그렇다면 TyPair 나 TyLoc 의 내부에도 TyArrow가 들어있는 경우도 테스트 하지 않으시나요?
3. 그렇다면 이러한 경우가 입력으로 들어왔을 때에는 자유롭게 처리해도 되나요? 예를들면 타입 에러를 띄우거나 해도 되나요?

감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
로파스
Site Admin


가입: 2012년 9월 9일
올린 글: 280

올리기올려짐: 2018년11월27일 16:24    주제: 인용과 함께 답변

1,2. 네 그런경우는 테스트하지 않을 예정입니다.

3. 스펙밖의 사항이므로 자유롭게 구현하시면 됩니다.

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

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


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