[강동원]

op2fn 구현에서 M 언어 정의를 보면 closure, pair에 대한 정의가 씌여있지 않은데,
해당 부분을 과제에서 구현하지 않아도 괜찮은지요?

[강동옥]

구현 하셔야 합니다.

[심민섭]

구현해야한다면 질문이 있습니다

현재 시맨틱스에 나오지 않은 경우라 물어보는데요

Pair든 Closure이든 결국 쌍으로 존재하는데

앞의 원소끼리 또 뒤의 원소끼리 모두 동일해야지만 true라고 하면 되나요??

그리고 궁금한게 Pair를 EQ에 비교하는건 m언어에서 사용이 가능하다 하더라도

closure는 m언어 내부에서 사용이 어려울텐데

closure까지 만들어야 하나요..?

[강동옥]

네 앞뒤 원소가 모두 동일해야합니다.


closure는 단순히 기본 equality operator를 이용해서 간단히 matching case를 채워주세요.

적절히 error처리하셔도 됩니다. closure equality를 가지고 채점하지는 않겠습니다

[심민섭]

closure는 예외처릴 했고

pair는 처리를 했는데

같은 형태의 pair가 들어오고 거기에 대한 equality만 검사를 하면 되는건가요?

예를 들면, (1, (2, 3)) 과 (1, (2, 3))을 비교하면 true

(1, (2, 4))와 (1, (2, 3))을 비교하면 false가 나오지만

(1, (2, 3))과 ((1, 2), 3)을 비교하면 예외처리가 나오도록 했습니다

즉, 위의 경우처럼 동일하지 않은 pair는 인풋으로 들어오지 않는다고 할 수 있는건가요?
(->동일하지 않은 형태의 pair를 서로 다른 type으로 본다는 말인가요?)

[강동옥]

네 동일하지 않은 형태의 pair는 다른타입입니다