[주승민]

안녕하세요, 숙제 두번째 문제 질문입니다
1. type formula = ... and expr = ... 는 formula라는 type과 expr라는 타입을 따로 정의한 것인가요? and의 역할이 무엇인지 궁금합니다.
2. 변수명에 대한 설명이 부족한 것 같습니다. formula의 경우(imply, less) 게시판에 올라온 글을 보고 이해했는데, expr의 경우 설명이 없는 것 같습니다. num int는 그냥 그 정수를 값으로 가지는 것으로 이해했는데, plus expr expr, minus expr expr의 경우 요구하는 것이 무엇인가요?
3. 최종 제출 파일에는 eval 함수만 있고 formula나 expr 정의하는 부분은 주석처리한 상태로 두어야 할까요?
4. 특정 문제와 연관된 질문은 아니지만, 기초적인 테스트케이스를 제공해주실 수 있을까요? input-output 예시를 알면 문제 풀이에 훨씬 도움이 될 것 같습니다.
감사합니다.

[김도형]

안녕하세요.

일단 아이디를 실명으로 하는 것을 추천드립니다.

1. 두 타입을 정의한 것이 맞습니다. and는 그저 타입 정의를 이어가는 역할일 뿐입니다.

2. plus나 minus는 기본적으론 아무런 값도 그 이상 갖지 않습니다. 다만 예를 들어 less (plus e1 e2) (minus e3 e4) 라는 식을 eval에 넣는다면 e1+e2 < e3-e4 일 때 true를 반환해야 할 것입니다.

3. 아닙니다. 타입 정의가 함께 있어야 합니다.

4. 해당 문제에 대해 간단하게 예시를 들자면 eval 함수를 호출하여 그것이 true인지 false인지 판단합니다. #2에서 언급한 것을 옮겨보자면 eval ( LESS ( PLUS ( NUM(1), NUM(2) ), MINUS ( NUM(4), NUM(3) ) ) ) 을 불러 그 결과가 false가 나올 경우 올바르다고 판단합니다.

감사합니다.

[주승민]

답변 감사드립니다. 그런데 개인 정보 수정 페이지로 들어가도 아이디를 바꾸는 것은 불가능한 것 같습니다. 탈퇴하고 새로 가입하면 될까요? 감사합니다.

[김도형]

성함을 말해주시면 대신 변경해드리겠습니다.