[공순호]

안녕하세요,

오늘 수업 시간(3/17, 14:30)에 알려드린 내용을 이 곳에 다시 적습니다.


0. 실명 사용
이 게시판에서는 실명으로 글을 작성해주시기 바랍니다. 가입하실 때에 ID를 본인의 이름으로 하시면 됩니다. 저의 ID는 공순호 입니다.

1. 숙제 제출
숙제를 제출하실 때에는 문제에서 작성하라고 한 부분만을 담은 .ml 파일을 제출하시기 바랍니다. 문제에 적혀있는 type 정의나, 보조 함수들은 제출하지 않습니다. 구체적으로 말씀드리면 문제 1 ~ 문제 8 에 대해서 다음과 같습니다.
- 문제 1 : iter
- 문제 2 : zipper
- 문제 3 : zipperN
- 문제 4 : natadd, natmul
- 문제 5 : eval
- 문제 6 : eval
- 문제 7 : merge
- 문제 8 : goRight, goUp, goDown

2. 문제별 세부 사항
- 문제 1 : n이 0보다 작은 자연수인 경우에 iter은 n이 0인 경우와 동일하게 작동하는 것으로 정의합시다.
- 문제 4 : natadd를 구현할 때에 주어진 두 nat 값을 정수로 변환한 이후에, 이를 정수 덧셈하고, 다시 nat으로 변환하는 방식으로 코드를 작성하시면 안됩니다. natmul에 대해서도 동일합니다.
- 문제 6 : 나눗셈의 경우에 0으로 나누는 경우 다음의 exception을 발생시키시기 바랍니다.

[공순호]

1번 항목 "숙제 제출"에 관해서 추가로 알려드립니다.

문제를 푸시면서 별도로 정의한 함수들에 대해서는 함께 제출해주셔야 합니다.
_________________
- soon@ropas