[이주상13]

질문이 자꾸 많아져서 죄송합니다 ㅠㅠ 아무리 고민해도 6-4 문제의 갈피를 잘 못잡겠어서 질문드립니다.

1. 무한루프를 도는 프로그램을 입력으로 넣었을 경우도 문제 없이 타입 체킹이 완료되어야 하나요?

2. 함수에 넣는 입력의 값이나 타입에 따라 다른 타입을 리턴 할 수 있는 함수가 존재할 수 있는 것 같은데, 그렇다면 이러한 함수들의 타입을 비교할 때는 어떻게 해야 하나요? 혹은 함수들 간에는 타입을 비교하지 않는다고 생각해도 되나요?

3. 페어를 구성하는 두 성분의 타입이 다르면 다른 타입으로 간주하나요? 예를들어 p1 = (int, bool)이고 p2 = (string, int) 이면 p1과 p2는 서로 다른 타입인가요?

감사합니다.

[로파스]

1. 네 무한루프 여부와 별개로 타입체킹은 항상 짧은시간내에 끝낼 수 있습니다.

2. 정확한 예시에 따라 조금씩 다르겠습니다만, 이번숙제의 심플타입체킹으로는 그러한 함수의 타입을 제대로 유추하지 못하는 경우가 대부분입니다. 그런경우엔 타입에러를 내주시면 될것입니다.

이것과는 별개로 함수끼리 타입을 비교하는 일은 물론 가능합니다. 동일화 알고리즘의 대상에 함수도 포함되어있습니다.

3. 네 물론 다른타입입니다.

-조교 드림.