[신재열14]

게시판 과제 스펙에 succ과 pred 함수를 구현하여 사용하라고 나와있는데,

type nat = ZERO | SUCC of nat
의 SUCC도 사용하지 말라는 말씀이신가요??

그리고
type nat = ZERO | SUCC of nat 의 자연수의 귀납적 정의는 코드에 포함 시킬 필요가 없는가 궁금합니다.

[로파스]

succ이나 pred함수를 사용하면 안된다는 것은 ocaml int라이브러리에 있는 succ, pred함수를 사용하지 마시고 직접 구현해달라는 뜻이었습니다.

타입 컨스트럭터 SUCC과는 관계가 없습니다.

모든 코드는 컴파일이 잘 되는 코드를 제출하셔야 합니다.

type nat의 정의가 코드에 없다면 컴파일이 제대로 되지 않을 것이므로, 반드시 포함시켜 주셔야 할 것입니다.

앞으로도 컴파일이 잘 되어야 한다는 기준으로 생각하시면 대부분의 경우는 애매모호하지 않을 것입니다.

그래도 애매모호한 경우에는 게시판에 지금처럼 글 올려주시면 답변드리겠습니다.

-조교 드림.