[최정원]

안녕하세요,

숙제 8의 exercise 1번에 대해 질문이 있어 여쭈어봅니다.

M 언어 실행기로 실행했을 때 무한루프를 도는 프로그램도 let-다형 타입 시스템에서는 올바르게 타입 체킹을 해야 할까요? 혹은 무한루프는 테스트에 포함 되지 않을까요?

예를 들어 조건상으로 무한히 재귀를 하지만 항상 write int를 돌려준다고 추론할 수 있는 함수는 type 가 int일까요 type_error일까요?

감사합니다.