[윤용호]

1. 결과를 적절히 묶어줄 필요가 있는지

(예를 들어 Times[Var "a";Var "a"] 는 Power("a", 2)로 만들어야하는지)

혹은 내림차순 정렬 등을 해야하는지,

아니면 구현에 따라서 아무렇게나 나와도

의미상 같은 식을 의미하기만 하면 충분한지요?


2.
Assign이 된 적이 한번도 없는 id에 대해서는
직접 정의한 exception을 raise 하면 되겠지요?

Assign이 한 id에 대해 두번 일어나면 기존의 값에 덮어쓰기를 하나요?

store의 타입과 구조는 주어지지 않았는데 직접 임의로 정해서 쓰면 되나요?

3.
require list는 (id*cond list) list로 주어지는데
id는 조건에서 ABCDE 5가지뿐입니다.
테스트 할 때 require list에 id는 (순서는 상관없다 치더라도) ABCDE 가 한번씩만 나오게 하실것인지, 아니면 같은 id가 두번 나오는 require list도 넣어보실것인지요.
그리고 같은 id가 두번 이상 나온다면 그 두가지 cond list들은 어떤 타입처럼 생각해야 할까요? 둘을 동시에 만족? Common으로 묶인 것처럼 생각하면 될까요?
_________________
TA

[신희제]

1. 후자입니다. 같은 식에 대해 많이 표현 방법이 가능할텐데, 모두 답으로 인정하도록 하겠습니다.

2-1. Not_found exception으로 처리해 주세요.

2-2. 네 그렇습니다.

2-3. type store = (id * int) list 로 정의하도록 하겠습니다.
이 정의를 따라주세요.

3. require list에서 id는 한번씩만 등장하는것으로 하겠습니다.