[김기태]

zipper라는 type이 나타내는 게 어떤 원리인지 이해가 되질 않아 질문드립니다. 특히, HAND에서 가운데 argument는 어떤 걸 나타내는건지 알 수 있을까요?

LOC (LEAF *,
HAND([LEAF c],
HAND([LEAF +; NODE [LEAF a; LEAF *; LEAF b]],
TOP,
[ ]),
[LEAF d]))

문제에서 주어진 표현이 'a * b + c * d'에서 두 번째 곱셈의 위치를 나타낸다고 하고 있습니다. LOC의 두 번째 argument는 zipper로 'LEAF *'의 주변 정보를 나타내는 것이라 했습니다.
그 주변 정보를 나타내는 zipper type의 'HAND(l,z,r)'의 경우, l은 left sibling, r은 right sibling을 나타낸다고 하셨는데,z가 그 기준이 되는 노드인건가요? 왜냐하면 그렇다면 c, d끼리만 sibling일 뿐더러 'LEAF *'가 기준이라면 child가 아닌가 했습니다.

[김도형]

안녕하세요.

z는 말 그대로 지퍼로, 해당 트리를 그곳에서부터 찢어놓고 있는 지퍼를 생각해보세요.

보충 스펙과 함께 그 점을 잘 생각해보면 문제 해결에 도움이 될 것입니다.

감사합니다.