[06김주성]

1) null 은 인자가 없는데 그냥 proc가 아니고 value로 선언해도 될까요? ㅇㅅㅇ
K-에는 인자가 없는 함수가 없는것 같아서 [..]

2) 올라온 뼈대 코드에 따르면 EQUAL 이 int = int 혹은 bool = bool
unit = unit , Loc = Loc 밖에 정의가 되지 않았습니다 ..
이 상태에서 null을 {} 즉, unit으로 정의해버리면
이 상황에서 isEmptyTree를 짜는데 있어서 unit과 Record를 비교하게 되고
다른 방법으로 {value := {}, left := {}, right := {}} 로 null을 정의해도
int와 unit을 비교하게 되어서 type error가 나게 됩니다 [..]
K- 를 사용하여서 isEmptyTree를 Clear하게 짤 수 있는지 궁금합니다 [..]
아니면 2번을 짤 수 있도록 K- 의 equal 코드를 고쳐도 되나요? ㅇㅅㅇ

[최종식]

교과서 88쪽 정의대로라면

타입이 같고 그 값이 같은 경우를 제외한 경우


otherwise
-----------
v1≠v2

라고 되어있으니

타입이 같아도 값이 다른경우(이 경우는 이미 정의)

뿐만아니라

타입이 다른경우
opequ _ _의 경우에도 Bool(false)가 되어야 하는게 아닐까 생각합니다.

[최원태]

1.
null은 함수가 아닙니다.
함수였다면 type이 unit -> tree 였겠죠.

2.
최종식군이 지적한대로, 비교구문은 책에 있는 정의를 따라주세요.
Skeleton은 과제3을 기준으로 만들어져있습니다.