[손효민]

4번 문제에서
crazy3val ZERO(ONE(MTWO NIL)) 를 입력할 때와
crazy3val (ZERO(ONE(MTWO NIL))) 를 입력할 때 결과에 차이가 나는 이유가 궁금합니다.
전자의 경우 argument의 수가 맞지 않다는 error가 발생하고 후자의 경우 예상한 답이 잘 나옵니다.

제가 생각하기에는 전자는 ZERO라는 인자와 (ONE(MTWO NIL))이라는 인자 두개를 받는 crazy3 -> crazy3 -> int 형이고 후자는 crazy3 -> int 형인 것 같습니다.

또
let num = ZERO(ONE(MTWO NIL));;
crazy3val num;;
을 입력하면 정상적으로 출력이 잘 됩니다.


혹시 채점 시에 입력이 어떤 꼴로 주어지는지 궁금합니다. 과제의 서술 상으로는 전자의 꼴로 받는 함수를 짜야 할 것 같은데 또 제시한 함수의 타입은 후자의 꼴이라 헷갈리는 마음에 질문 드립니다.

[이재호]

질문에 대해서 답변 및 부연 설명 드립니다.

1.