[최현일]

1.

type nat = ZERO | SUCC of nat

이 타입에서
SUCC가 의미하는게, 연속된 수를 의미한다고 다른 질문 글을 보니 그러던데요,
그렇다면 SUCC가, ocaml에서 쓰는 특별한 문자인건가요? 아니면 그냥 {1,2,3,4.....}이 자연수 집합의 원소를 SUCC라고 부르자는 그냥 약속인건가요?



2. https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4930&highlight=succ
위 글에 나온 답변을 보니까
natadd와 natmul을 정의할 때 +와 * operater을 쓰지 말라고 하셨거든요

"좋은 질문입니다. type nat 은 교수님께서 수업시간에 설명하신 귀납적인 정의 스타일로 자연수를 정의한 것이며, 과제의 의도는 이렇게 정의된 자연수 타입에 대해 기본적인 더하기와 곱하기 함수를 직접 정의해 보는 것입니다. 따라서 기존에 여러분이 익숙하실 + 나 * 연산자를 사용하지 말고 구현하셔야 하겠습니다. succ이나 pred 함수의 사용도 마찬가지로 금지하도록 하겠습니다."

그런데 귀납적으로 정의를 하려고 할때 +는 무조건 쓸수밖에 아닌가요? +를 안쓰고 natadd(2,3)=5 를 만드는 방법이 있는건가요?

[최재승]