:: 주제 보기 - [답변정정]: 숙제 7: return 타입이 유일하게 결정되지 않으면 무엇을 답으로 출력해야 합니까?

FAQ

검색

멤버리스트

사용자 그룹

사용자 등록하기

개인 정보

비공개 메시지를 확인하려면 로그인하십시오

로그인

[답변정정]: 숙제 7: return 타입이 유일하게 결정되지 않으면 무엇을 답으로 출력해야 합니까?

게시판 인덱스 -> 4190.310 Programming Languages (Fall 2014)

이전 주제 보기 :: 다음 주제 보기

글쓴이

메시지

강동옥

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

올려짐: 2014년12월3일 13:57 주제: [답변정정]: 숙제 7: return 타입이 유일하게 결정되지 않으면 무엇을 답으로 출력해야 합니까?

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4718

인용:

다음과 같은 프로그램을 생각해볼 수 있습니다.

코드:
let rec f = fn x => f x in f 1234 end

영원히 리턴되지 않는 프로그램입니다. 프로그램은 non-function type expression이므로, 리턴 타입이 정수라고 가정하여 프로그램 취급을 할 수 있는 것 같습니다.

이러한 경우 답으로 무엇을 출력해야 하는가요?
타입에러가 맞는가요?

답변을 정정하겠습니다.
타입 시스템은 프로그램이 종료되는냐의 여부와 관계없이 체크돼야 합니다.

혼란을 드려 죄송합니다.

위로

이전 글 표시:

	게시판 인덱스 -> 4190.310 Programming Languages (Fall 2014)	시간대: GMT + 9 시간(한국)
페이지 1 중 1

건너뛰기:

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