[로파스]

숙제에서 두번째 예로 나오는 polymorphism with imperative 코드가

심플타입체커를 통과하네요. 제가 보기에는 통과하는게 맞는것 같은데,

과제 문맥상 심플타입체킹을 통과하지 못해야할것 같다는 뉘앙스를 풍기고있네요.

어떤게맞나요?

[강동옥]

단순타입체킹으로는 통과할수 없는 예제입니다.

[강동옥]

하지만 단순타입 체킹은 let다형타입체킹의 subset이므로 let 다형타입체킹을 잘 만들었다면 둘다 let다형타입체커로 올리셔도 되겠죠?

[로파스]

테스트케이스가들어갈때 어떤 기준으로 들어가는건가요?

심플타입체커에 다형타입체커를 넣어도 테스트케이스를 모두 통과한다는건

해당 타입체커가 통과시키는 프로그램만 테스트케이스로 넣는다는것이라고

이해했는데 맞나요?? 전 심플타입체커는 통과하지 못하면서 다형 타입체커는

통과하는 프로그램들도 테스트케이스로 들어갈거라고생각해서요

[강동옥]

해당 체커가 통과시키지 않는 예도 집어넣습니다.

1="true" 이런건 당연히 통과가 안되야겠죠.

다형타입체커에 대해서는 당연히
단순타입에서 통과못하지만 다형타입에서는 통과하는 예제가 들어갑니다.

그러나 그것을 단순타입체커에서도 돌려서 false가 나오는지 보지는 않을겁니다.