 |
|
| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
김세훈
가입: 2018년 9월 13일
올린 글: 2
|
 올려짐: 2018년9월19일 23:54 주제: 2-4 test case와 type 불일치에 관한 질문 및 functor에 관한 질문 |
 |
|
문제 2-4의 test case를 돌려보다는데 결과물의 type이 올려주신 것처럼
| 코드: | | val queue' : int list list * int list list = ([], [[4; 5]]) |
가 아니라
| 코드: | | val queue' : a' list * int list list = ([], [[4; 5]]) |
가 나왔습니다.
| 코드: | | let rec enQ (((x,y),e):queue * element ) :queue |
처럼 함수의 type을 명시해주면,
| 코드: | | IntListQ.queue = ([], [[4; 5]]) |
가 나옵니다.
| 코드: | | module ValidIntListQ = (IntListQ : Queue) |
를 넣어도 잘 compile이 되고, 다른 함수들도 잘 작동을 하고 있습니다.
아마 []의 type을 잘 모르는 것 같습니다.
이런 경우에 정담으로 인정이 되는 지 궁금합니다.
또한, []를 int list list로 강제로 인식을 시킬 수 있는 방법이 있는 지 궁금합니다.
그리고, Module에 관해서 공부하다 보니 functor가 자주 등장하는데, 이 functor가 우리가 흔히들 생각하는 그 functor(object를 object로 morphism을 morphism으로 보내면서 합성을 보존하는 거)와 관련이 있는 지 궁금합니다.
마지막으로 과제1의 채점 결과가 언제 공개되는 지 궁금합니다.
ocamlc/make로 compile이 된다는 게 정확하게 어떤 의미인가요?
"a.ml" 파일을 제출하였는데,
$ocamlc a.ml (혹은 ocamlc a.ml -o a)
로 compile을 하였을 때, 제대로 compile이 되었고, interpreter로 불러도 문제 없이 함수를 사용할 수 있었다면,(물론 그리고 그 함수를 제대로 작성을 했다면,) "a.ml" accept된다는 보장이 있는지 궁금합니다. |
|
| 위로 |
|
 |
배요한
Site Admin
가입: 2018년 3월 6일
올린 글: 107
|
| 올려짐: 2018년9월20일 13:28 주제: |
|
|
안녕하세요, 김세훈 학생.
1. | 코드: | | val queue' : a' list * int list list = ([], [[4; 5]]) |
값이 제대로 나온다면 인정해 드리도록 하겠습니다.
2. | 인용: | | 또한, []를 int list list로 강제로 인식을 시킬 수 있는 방법이 있는 지 궁금합니다 |
let empty : queue = ... 로 타입을 명시해 놓으면 제대로 나올 것 같습니다.
3. | 인용: | functor가 우리가 흔히들 생각하는 그 functor(object를 object로 morphism을 morphism으로 보내면서 합성을 보존하는 거)와 관련이 있는 지 궁금합니다.
|
제가 다른 언어에서 functor의 쓰임은 잘 몰라서 이 부분에 대해서는 잘 대답을 못 드릴것 같습니다. 확실한건, ocaml에서의 functor은 모듈을 받아서 새로운 모듈을 만들어 줍니다.
대표적인 예제가, set 모듈이 있습니다.
4. | 인용: | | 마지막으로 과제1의 채점 결과가 언제 공개되는 지 궁금합니다. |
조교팀이 아직 출석부를 못 받아서 채점을 할 수 가 없었습니다. 다음주에 공개하도록 하겠습니다.
5. | 인용: | | compile을 하였을 때, 제대로 compile이 되었고, interpreter로 불러도 문제 없이 함수를 사용할 수 있었다면,(물론 그리고 그 함수를 제대로 작성을 했다면,) "a.ml" accept된다는 보장이 있는지 궁금합니다 |
네, 맞습니다.
감사합니다.
TA 이동권
e-mail: dklee@ropas.snu.ac.kr
TA 배요한
e-mail: yhbae@ropas.snu.ac.kr |
|
| 위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay |
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
