[강동호]

goDown(LOC(NODE[],TOP))

이런 케이스를 생각해보면 현재 트리가 빈 노드로 들어오는데 이런 상황이 발생할 수 있는건지 잘 이해가 안됩니다. 비어있는 트리라는 얘기인 것 같은데

이런 케이스도 입력으로 들어올 수 있을까요?

더불어서 NODE가 비어있는 또 다른 입력들이 있을 수 있을지 궁금합니다.

[최재승]

"NODE []" 와 같은 트리의 의미가 직관적으로는 잘 와닿지 않을 수 있지만, 문제의 tree 타입 정의에 따르면 "NODE []" 와 같은 것도 정상적인 트리에 해당합니다.
이런 트리도 zipper 타입 값이나 location 타입 값에서 얼마든지 tree로 나타날 수 있습니다.

조교 드림

[최병서]

NODE[]와 같은 트리가 정상적인 트리라면

goDown(LOC(NODE[],TOP)) 의 결과는 어떤 식으로 나와야 하나요?

아래의 노드가 없으므로 NOMOVE 예외를 발생시키면 되는 것인가요?

[조상우15]

빈 노드인 경우 아무곳도 갈 곳이 없으니 goLeft, goRight, goUp, goDown 모두 NOMOVE exception을 내놔야 할 거 같네요..

[최재승]

네, "goDown(LOC(NODE[],TOP))" 은 NOMOVE 예외를 발생시켜야 합니다.

비슷한 질문 https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4965 의 답변에서 인용 :