[심규민]

문맥상 *를 cons로 받아 들였는데, 맞는지 궁금합니다.

구체적으로는
(1) 함수 "mustAnd: cond * cond -> cond"의 인자는 하나.
(2) "((A . (1 2)) (B . (2)) (C . (1 2)))"는 실제로 스킴에서 "((A 1 2) (B 2) (C 1 2))"로 표현 됨.
의 두 가지가 맞는지 확인하고 싶습니다.

--추가(수정1)--
위와 같이 생각했더니 A의 조건이 언급된 바와 같이
(mustAnd (mustItems '(1 2))
(mustHaveCommon (mustBeTheSame 'B)
(mustBeTheSame 'C)))
일 수가 없습니다.

"만드는 함수들"에서 *은 X가 되어야 할 것 같습니다.

[김진영_]

그렇네요. 함수의 입력 부분에서 *는 pair가 아니라 지금까지 해 왔던 대로 여러 개의 인자를 받는 것으로 생각해 주세요.

함수의 출력 부분에서는 (condCommon, condAnd 함수의 경우) pair로 생각해 주세요.

[김태훈]

그러면 shoppingList의 경우 입력 출력 모두 pair의 리스트가 되는건가요?

그러니까 (shoppingList ((A . (condlist)) (B . (condlist)) ... )) 이라고 입력하고 출력은 ((A . (giftlist)) (B . (giftlist)) ... )) 형식인거죠?

------------------------------------------------------------

근데 하다 보니 (A . list) 형태가 되면 결국 list 앞에 원소로 A가 들어가는 꼴이네요..;;ㅋㅋ 그녕 그런가보다 하고 하면 되나요? ㅋ

[김진영_]

네. shoppingList처럼 괄호 안에 있는 *의 경우는, pair의 리스트로 보시면 됩니다.

따라서 shoppingList 함수는 입력과 출력 모두 pair의 list를 받는다고 생각해 주세요.