이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김유준
가입: 2012년 10월 19일 올린 글: 16
|
올려짐: 2012년12월6일 16:46 주제: 8-3 질문입니다. |
|
|
인용: | ArgTy 시그니처에 equal이라는 함수를 선언하고
실제로 Arg 모듈을 QueueMake 함수의 인자로 넣을 때에
equal 함수를 제공해주면 됩니다.
module StringQQArg = struct type t=StringQ.queue let equal=..end
와 같이요. |
라고 하셨는데 8-3에서는 QueueMake 함수로서 StringQQ나 StringQ를 만들고 싶어 하는것 아닌가요?
여기서는 StringQQArg에 벌써 type t = StringQ.queue 라고 정해 버리면 StringQ는 만들어지지도 않았는데 벌써 그것을 가리키고 있는 것 아닌가요??
QueueMake로 StringQ를 만들기위해 StringQArg는 타입을 string으로 설정하면 된다는 것을 알겠는데 StringQQArg의 타입은 뭐라고 해야 되는지 모르겠습니다. |
|
위로 |
|
 |
임성철
가입: 2012년 9월 8일 올린 글: 35
|
올려짐: 2012년12월6일 19:59 주제: |
|
|
StringQ가 만들어진 후
StringQQ를 만들게 되는 것 같아요.
StringQArg를 만들려면 StringQ가 이미 만들어져 있어야 할 것 같아요.
그러니까 순서상..
StringQArg
StringQ
QueueMake
StringQQArg <- 여기서는 만들어진 StringQ를 참조하고요
StringQQ
순서로 선언해야 오류가 없을 것 같아요 |
|
위로 |
|
 |
최민아
가입: 2009년 9월 28일 올린 글: 236
|
올려짐: 2012년12월6일 21:01 주제: |
|
|
StringQ를 QueueMake로 먼저 만들고
그걸 이용해 StringQQ를 만듭니다.
임성철님 말씀이 대부분 맞는데, 순서는
QueueMake
StringQArg
StringQ <- QueueMake 사용해 만듬
StringQQArg <- 만들어진 StringQ 참조
StringQQ
가 되겠지요. |
|
위로 |
|
 |
임성철
가입: 2012년 9월 8일 올린 글: 35
|
올려짐: 2012년12월7일 22:12 주제: |
|
|
아 착각했네요 ㅎㅎ
댓글 감사합니다 |
|
위로 |
|
 |
|