[이상현24]

안녕하세요.

Empty tree가 dft, bft 의 입력으로 들어올 수 있나요?
들어올 수 있는지 없는지에 따라 empty tree의 정의가 달라질 수 있을 것 같은데, 문제에서 의도한 empty tree는 그냥 unit인가요?

감사합니다.

[이재호]

안녕하세요,

빈 나무를 dft나 bft에 입력으로 테스트하지 않을 예정입니다.
문제에서 isEmpty의 타입은 tree -> bool로 정의하였기 때문에 empty tree는 unit이 아닙니다.
다만 이 부분에 대해서는 isEmpty만 제대로 작동한다면 (예: leaf로 만든 tree의 rTree 값을 isEmpty에 넣으면 true가 나옴) 구현하실 때 크게 고민하지 않으셔도 좋을 것 같습니다.

감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr

[이재호]

추가 설명 드립니다.

만약 빈 나무를 빈 레코드 `{}`로 나타낸다면, K- 언어 정의에 따라 계산된 값은 .입니다.
빈 나무의 구현에 따라 unit이 될 수도 있고, 아닐 수도 있습니다.

외부로 드러나있는 나무를 만드는 함수들은 leaf, makeLtree, makeRtree, makeTree, 분해하는 함수들은 isEmpty, rTree, lTree, nodeVal이 전부이기 때문에, 테스트 코드를 포함한 "나무" 라이브러리의 사용자들은 빈 나무의 구현이 unit으로 되어 있는지, 레코드로 되어 있는지, 정수로 되어 있는지, 함수로 되어있는지 알 필요가 없습니다.