허기홍
가입: 2007년 9월 27일
올린 글: 231
|
 올려짐: 2009년9월14일 19:46 주제: 공지사항 0914 |
 |
|
- 오늘 조교 강의 자료 올려놨습니다.
http://ropas.snu.ac.kr/~ta/4190.310/09/ocaml_tutorial.pdf
- 강의 교재는 수요일 쯤 도착할 예정입니다. 값은 7200원 입니다.
302-312-2호로 오셔서 사가세요. 잔돈 준비해오시길...
- 아까 질문 나온 것 중.
polymorphic type에서 타입 변수 두 개 이상은 단순 나열이 아니라 튜플로 선언합니다. 예를 들어, 다음과 같습니다.
| 코드: | | type ('a, 'b) morestuff = MNone | MSome of 'a | MSomeMore of 'b |
ocaml에서 오버로딩은 안됩니다. 같은 이름을 두 번 선언하면 밑에 나온 놈으로 정의가 바뀝니다.
- 숙제에서 요구하는 함수만, 정확한 이름으로 내주세요. 단, 숙제에서 요구하는 타입 정의나 기타 컴파일을 위한 정보는 포함되어야 합니다. (반드시 ocamlc로 컴파일 해보세요.)
예를 들어 1번에서는 sigma 만 들어있으면 됩니다. 혹시 추가로 정의하신 함수나 변수들이 있다면 sigma 함수에 내부로 정의해서 쓰시면 됩니다.
정확한 이름을 요구하는 이유는 이렇습니다.
1. 채점을 프로그램이 자동으로 하기 때문입니다. 조교는 여러분이 당연히 sigma 라는 함수를 만든 것으로 예상하고 이를 이용해 테스트 합니다.
요구하는 함수만 보이도록 정의하고 나머지 구현은 감추라는 이유는 이렇습니다.
1. 조교가 채점을 위해 만든 함수, 변수와 혹시 이름이 충돌날 가능성 때문입니다.
2. 일반적으로 최대한 불필요한 부분은 감추고, 전역에서 노는 놈들이 적은 프로그램이 좋은 프로그램입니다.
이상입니다. |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
