[강동호]

안녕하세요. 수강생 강동호입니다.

숙제 하면서 몇가지 스펙에 대해서 궁금해서 여쭤봅니다!


ex4. 에서

type formula = TRUE
| FALSE
| NOT of formula
| ANDALSO of formula * formula
| ORELSE of formula * formula
| IMPLY of formula * formula
| LESS of expr * expr
and expr = NUM of int
| PLUS of expr * expr
| MINUS of expr * expr

이런 type formula와 expr을 주셨는데 expr 앞의 and는 ocaml syntax 로 주신건가요?


ex.5 에서

NAT를 정의하고 NAT의 연산을 recursive 하게 정의해보라는 의미로 과제를 주셨다고 이해했습니다.

그렇다면 구현할 때 기존의 사칙연산 연산자들은 어떠한 경우에도 사용하지 말아야 하는건가요?
만약 그렇다면 SUCC 와 PRED 같은 함수를 사용하는 것은 허용이 될까요?

[최재승]

안녕하세요, 프로그래밍 언어 조교 최재승입니다.

(exercise 4 답변)