एक HUET जिपर

Question

मैं Huet Zipper पढ़ रहा हूँ अंदर नेविगेट करने के लिए कैसे, मैं go_up विधि समझ में नहीं कर सकते हैं:

let go_up (Loc(t,p)) = match p with 
Top -> failwith "up of top" 
| Node(left,up,right) -> Loc(Section((rev left) @ (t::right)),up);; 

अन्य प्रकार के पूर्ण स्रोत परिभाषाओं, लिंक किए गए पत्र में पाया जा सकता है अगर आप समझते हैं जिपर , मुझे लगता है कि मेरे प्रश्न का उत्तर देना कोई फर्क नहीं पड़ता।

जो मुझे जिपर के बारे में पता है, Location में वर्तमान नोड और Path या तथाकथित Context शामिल है। Path में वर्तमान नोड और उसके उपन्यासों के अलावा अन्य कुछ भी है, या कुछ लोगों ने इसे a one-hole-context कहा है।

ठीक है, फोकस ऊपर ले जाना, इसका मतलब है कि वर्तमान नोड का मूल नोड नया वर्तमान नोड बन जाएगा। लेकिन यहां, लेखक वर्तमान नोड्स और उसके भाई बहन को जोड़ता है। लेकिन यह माता-पिता नोड नहीं है, केवल माता-पिता नोड के बच्चे हैं। स्कैला में अपनी खुद की चालअप विधि को लागू करते समय मैं यहां पर फंस गया हूं, और वर्तमान नोड के मूल नोड का सही ढंग से प्रतिनिधित्व करने में विफल रहा हूं।

Answer 1

ज़िपर यहाँ निम्नलिखित पेड़ डेटाप्रकार के लिए है:

type tree = 
    Item of item 
| Section of tree list;; 

और कागज से पथ डेटाप्रकार यह है:

type path = 
    Top 
| Node of tree list * path * tree list;; 

Node तीन घटक शामिल हैं। छेद के बाईं ओर स्थित माता-पिता नोड के बच्चे (left), पथ आगे बढ़ता है (up), और छेद के दाईं ओर स्थित पैरेंट नोड के बच्चे (right)।

जब ऊपर जा रहा है, ताकि वास्तविक माता पिता नोड का निर्माण करने के लिए, हम left और right के बीच में सही स्थिति में पुराने पेड़ t में प्लग करने के लिए है। चूंकि बाईं ओर के बच्चों को रिवर्स ऑर्डर में संग्रहीत किया जाता है, इसलिए हमें पहले उन्हें उलटना होगा।

Answer 2

लेखक वर्तमान नोड्स और उसके भाई बहनों को जोड़ता है। लेकिन यह एक माता पिता नोड नहीं है, सिर्फ माता पिता नोड

कागज परिभाषा kosmikus द्वारा उद्धृत के साथ के बच्चों, एक गैर पत्ती नोड Section अपने बच्चों के अलावा अन्य कुछ भी नहीं द्वारा परिभाषित किया गया है। यदि आपने अतिरिक्त जानकारी जोड़ दी है, तो आपको इसे जिपर की परिभाषा में जोड़ना होगा।