강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2014년10월12일 23:46 주제: |
|
|
Record 도메인이 와 같이, 함수로 정의되어 있다는 점과, Record 타입의 값이 로 표현된 점을 통해 유추해보면, x_1, ... x_n 은 모두 서로 다른 id여야 할 것입니다. (함수는 정의역의 한 원소가 하나의 값으로만 매핑되어야 하므로)
따라서, 원래는 같은 id가 들어있는 경우에 Error 예외를 일으키는 것이 맞습니다.
하지만 숙제 문서에 이러한 스펙이 명확하게 드러나 있지는 않다고 판단하여, 테스트 케이스에서 이런 경우를 테스트하지는 않도록 하겠습니다. |
|