강동옥
가입: 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이므로, 리턴 타입이 정수라고 가정하여 프로그램 취급을 할 수 있는 것 같습니다.
이러한 경우 답으로 무엇을 출력해야 하는가요?
타입에러가 맞는가요? |
답변을 정정하겠습니다.
타입 시스템은 프로그램이 종료되는냐의 여부와 관계없이 체크돼야 합니다.
혼란을 드려 죄송합니다. |
|