이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김성재
가입: 2018년 9월 11일 올린 글: 6
|
올려짐: 2018년12월13일 0:00 주제: 과제 7-1번 질문드립니다! |
|
|
안녕하세요!
M 스펙에 보면 Write의 타입이 int, bool or string으로 제한되는데요, 도저히 어떻게 구현해야할지 모르겠어서 질문드립니다.
Write의 타입이 int, bool or string 이외의 타입일 경우에 TypeError를 내는 방법에 대해 조금이라도 힌트를 얻을 수 있을까요?
감사합니다! |
|
위로 |
|
|
배요한 Site Admin
가입: 2018년 3월 6일 올린 글: 107
|
올려짐: 2018년12월13일 12:11 주제: |
|
|
안녕하세요, 김성재 학생.
한 가지 방법으로는 다음과 같습니다.
1) Poly_checker.typ에 WRITE 전용 타입을 따로 정의하여,
2) WRITE 타입과 어떤 타입 t을 가지고 unify가 일어날때, t에 대해 unify할 수 없다면 오류를 내는 쪽으로 구현할 수 있습니다.
TA 이동권
e-mail: dklee@ropas.snu.ac.kr
TA 배요한
e-mail: yhbae@ropas.snu.ac.kr |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|