로파스 Site Admin
가입: 2012년 9월 9일 올린 글: 280
|
올려짐: 2017년9월13일 12:36 주제: |
|
|
succ이나 pred함수를 사용하면 안된다는 것은 ocaml int라이브러리에 있는 succ, pred함수를 사용하지 마시고 직접 구현해달라는 뜻이었습니다.
타입 컨스트럭터 SUCC과는 관계가 없습니다.
모든 코드는 컴파일이 잘 되는 코드를 제출하셔야 합니다.
type nat의 정의가 코드에 없다면 컴파일이 제대로 되지 않을 것이므로, 반드시 포함시켜 주셔야 할 것입니다.
앞으로도 컴파일이 잘 되어야 한다는 기준으로 생각하시면 대부분의 경우는 애매모호하지 않을 것입니다.
그래도 애매모호한 경우에는 게시판에 지금처럼 글 올려주시면 답변드리겠습니다.
-조교 드림. |
|