게시판 인덱스

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

6-4 if문 타입 질문

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



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

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

타입체크 시 M.IF(e1, e2, e3) 형식의 exp에서 질문이 있습니다.

1. e2와 e3의 타입이 다른 경우 무조건 타입 에러를 띄우면 되나요?
2. 만약 e2, e3 모두 타입 에러인 경우 둘 중 어느것의 타입 에러를 띄우면 될까요?

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


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

올리기올려짐: 2018년11월26일 10:32    주제: 인용과 함께 답변

1. e2와 e3의 타입을 유추하여 다르다는 것이 확인되면 타입에러를 띄우시면 됩니다.

2. e2, e3의 타입에러를 굳이 구분하실 필요 없습니다. 타입체크결과가 타입에러라고 뜨기만 하면 됩니다.

-조교 드림.
위로
사용자 정보 보기 비밀 메시지 보내기
송호준



가입: 2018년 9월 21일
올린 글: 10

올리기올려짐: 2018년11월27일 3:02    주제: e2, e3의 타입 인용과 함께 답변

e2, e3의 타입이 달라도 프로그램이 성립하는 경우가 있지 않나요?
예를들면 if true then write true else write 2 같은 프로그램은 e2, e3는 각각 bool, int지만 맞는 프로그램이지 않나요?
위로
사용자 정보 보기 비밀 메시지 보내기
로파스
Site Admin


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

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

그렇기때문에 숙제 6-4에서의 타입시스템이 안전하지만 완전하지 않은 것입니다.

제대로 실행되는 프로그램중에서도 타입에러라고 걸러내는 경우가 있기 때문이죠.

말씀하신대로 if true then write true else write 2 같은 프로그램은

M언어의 시맨틱스상 문제없는 프로그램입니다만, 그래도 정적 타입시스템의 정의에 따르면

올바르지 못한 타입을 가진 프로그램이므로 걸러지게 됩니다.

-조교 드림.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 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