이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
윤한상
가입: 2008년 9월 14일 올린 글: 10
|
올려짐: 2008년10월19일 7:01 주제: shoppinglist 질문 |
|
|
shoppingList: (id * cond) list -> (id * gift list) list
에 들어오는 (id * cond) list에 id가 같은 (id * cond) 원소가 두 개 이상이 될 수 있나요?
예 : ( (A . cond1) (B . cond2) (A . cond3) )
만일 이런 식의 인풋이 허용된다면 and로 처리해야 되겠지요?
그리고 이번 숙제에서 언급된 함수
mustItems: gift list -> cond (* ¡´º¬¶³Éå ªÍá§Öå¤Ûå *)
mustBeTheSame: id -> cond (* ¬¸£Æ ¼°´¬Ç ªÍá§Öå¤Ûå *)
mustHaveExceptFor: cond * gift list -> cond (* ¼¡Íᬹª¸ ¬¸£Æ ªÍá§Öå¤Ûå¬Ûá ©µ¡¼ *)
mustHaveCommon: cond * cond -> cond (* ¤Á ¼¡Íᬹ ¡Ñò±Ñò¤Ôá ªÍá§Öå¤Ûå *)
mustAnd: cond * cond -> cond (* ¤Á ¼¡Íá §¼¤Á §ÉáÑÞ³µ¬¶ *)
등은 주어지는 건가요? 아님 직접 정의하는건가요? |
|
위로 |
|
|
이광근
가입: 2005년 8월 29일 올린 글: 68
|
올려짐: 2008년10월19일 12:22 주제: Re: shoppinglist 질문 |
|
|
윤한상 씀: | shoppingList: (id * cond) list -> (id * gift list) list
에 들어오는 (id * cond) list에 id가 같은 (id * cond) 원소가 두 개 이상이 될 수 있나요?
예 : ( (A . cond1) (B . cond2) (A . cond3) )
만일 이런 식의 인풋이 허용된다면 and로 처리해야 되겠지요?
그리고 이번 숙제에서 언급된 함수
mustItems: gift list -> cond (* ¡´º¬¶³Éå ªÍá§Öå¤Ûå *)
mustBeTheSame: id -> cond (* ¬¸£Æ ¼°´¬Ç ªÍá§Öå¤Ûå *)
mustHaveExceptFor: cond * gift list -> cond (* ¼¡Íᬹª¸ ¬¸£Æ ªÍá§Öå¤Ûå¬Ûá ©µ¡¼ *)
mustHaveCommon: cond * cond -> cond (* ¤Á ¼¡Íᬹ ¡Ñò±Ñò¤Ôá ªÍá§Öå¤Ûå *)
mustAnd: cond * cond -> cond (* ¤Á ¼¡Íá §¼¤Á §ÉáÑÞ³µ¬¶ *)
등은 주어지는 건가요? 아님 직접 정의하는건가요? |
주어집니다.
-K |
|
위로 |
|
|
이충민
가입: 2008년 9월 20일 올린 글: 76
|
올려짐: 2008년10월19일 16:36 주제: |
|
|
인용: | shoppingList: (id * cond) list -> (id * gift list) list
에 들어오는 (id * cond) list에 id가 같은 (id * cond) 원소가 두 개 이상이 될 수 있나요?
예 : ( (A . cond1) (B . cond2) (A . cond3) )
만일 이런 식의 인풋이 허용된다면 and로 처리해야 되겠지요? |
허용되지 않아야 된다고 생각합니다. 이것이 허용되면 예에서 든 것은 코드: | ((A . (mustAnd cond1 cond3)) (B . cond2)) | 와 의미 상 차이가 없게 되는데, 굳이 허용할 필요는 없어 보입니다.
다만 만약 이러한 입력이 허용되지 않는다면 이것을 에러로 처리할 지, 아니면 임의로 또는 규칙에 따라 한 조건 (위 예에선 cond1 또는 cond3)을 선택할 지는 규정이 있어야 하겠네요. |
|
위로 |
|
|
최원태
가입: 2006년 9월 16일 올린 글: 369
|
올려짐: 2008년10월19일 23:52 주제: |
|
|
1.
과제에 사용한 함수들은
잠시후 자정이 조금 지난뒤 올려드리겠습니다.
2.
shoppingList에서 id가 같은 (id * cond)는 없다고 하겠습니다. |
|
위로 |
|
|
|