이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
신종호
가입: 2006년 9월 10일 올린 글: 16
|
올려짐: 2006년9월21일 22:30 주제: hw2- ex2 질문입니다;;; |
|
|
2.n 파일에서 (* 이곳을 채워 넣으세요 *)부분에 채워넣기만 할 수 있나요?
아니면 다른 부분도 약간 수정할 수 있는 건가요?
예를 들어 val run을 val rec run으로 바꾼다던지가 가능한가요?
채워넣는 것만으로도 해결 가능한데 제가 방향을 잘못 잡은 건 아니겠죠;;; |
|
위로 |
|
|
장민석
가입: 2006년 9월 5일 올린 글: 165
|
올려짐: 2006년9월21일 22:38 주제: |
|
|
헉..안 보이던 한글이 "이곳을 채워넣으세요" 였군요;;; |
|
위로 |
|
|
이희종
가입: 2006년 3월 7일 올린 글: 50
|
올려짐: 2006년9월22일 12:35 주제: |
|
|
signature KEVAL만 지켜주신다면 내용은 임의로 수정하셔도 됩니다. |
|
위로 |
|
|
장민석
가입: 2006년 9월 5일 올린 글: 165
|
올려짐: 2006년9월24일 20:04 주제: |
|
|
이희종 씀: | signature KEVAL만 지켜주신다면 내용은 임의로 수정하셔도 됩니다. |
KEVAL을 지킨다는 말의 뜻은, signature KEVAL을 고칠 수 없다는 뜻인가요? 그렇다면 run 함수의 정의를 바꾸거나 임의의 함수를 KEVAL에 추가하는 것도 불가능할 텐데요.
예를 들어 지금 run함수는
코드: | run : memory * env * program -> value |
이렇게 타입 정의되어 있는데요, 제 생각엔 run 함수는
코드: | run : memory * env * program -> value * memory |
이렇게 되어야 하지 않을까 싶습니다.
run 함수 정의를 이런 식으로 고치거나 run_a같은 새로운 함수를 만드는 것은 허용되지 않나요? |
|
위로 |
|
|
장민석
가입: 2006년 9월 5일 올린 글: 165
|
올려짐: 2006년9월24일 23:08 주제: |
|
|
아...structure에서 내부 함수로 구현하면 되겠군요.
^^;;; |
|
위로 |
|
|
|