이주상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. 그렇다면 이러한 경우가 입력으로 들어왔을 때에는 자유롭게 처리해도 되나요? 예를들면 타입 에러를 띄우거나 해도 되나요?
감사합니다. |
|