이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
로파스 Site Admin
가입: 2012년 9월 9일 올린 글: 280
|
올려짐: 2013년11월29일 3:54 주제: 숙제에 나와있는 예 2 에 대해 질문드립니다. |
|
|
숙제에서 두번째 예로 나오는 polymorphism with imperative 코드가
심플타입체커를 통과하네요. 제가 보기에는 통과하는게 맞는것 같은데,
과제 문맥상 심플타입체킹을 통과하지 못해야할것 같다는 뉘앙스를 풍기고있네요.
어떤게맞나요? |
|
위로 |
|
|
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2013년11월29일 15:14 주제: |
|
|
단순타입체킹으로는 통과할수 없는 예제입니다.
강동옥 가 2013년11월29일 15:36에 수정함, 총 2 번 수정됨 |
|
위로 |
|
|
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2013년11월29일 15:18 주제: |
|
|
하지만 단순타입 체킹은 let다형타입체킹의 subset이므로 let 다형타입체킹을 잘 만들었다면 둘다 let다형타입체커로 올리셔도 되겠죠? |
|
위로 |
|
|
로파스 Site Admin
가입: 2012년 9월 9일 올린 글: 280
|
올려짐: 2013년11월30일 2:37 주제: |
|
|
테스트케이스가들어갈때 어떤 기준으로 들어가는건가요?
심플타입체커에 다형타입체커를 넣어도 테스트케이스를 모두 통과한다는건
해당 타입체커가 통과시키는 프로그램만 테스트케이스로 넣는다는것이라고
이해했는데 맞나요?? 전 심플타입체커는 통과하지 못하면서 다형 타입체커는
통과하는 프로그램들도 테스트케이스로 들어갈거라고생각해서요 |
|
위로 |
|
|
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2013년11월30일 16:27 주제: |
|
|
해당 체커가 통과시키지 않는 예도 집어넣습니다.
1="true" 이런건 당연히 통과가 안되야겠죠.
다형타입체커에 대해서는 당연히
단순타입에서 통과못하지만 다형타입에서는 통과하는 예제가 들어갑니다.
그러나 그것을 단순타입체커에서도 돌려서 false가 나오는지 보지는 않을겁니다. |
|
위로 |
|
|
|