zipper

7गर्मी

1उत्तर

में मौजूदा प्रकारों के साथ त्रुटियों को टाइप करें मैं अपने कार्यक्रम में अस्तित्व के प्रकारों के साथ संघर्ष कर रहा हूं। मुझे लगता है मैं फिर भी मैं typechecker :( अतीत नहीं मिल सकता बहुत ही उचित कुछ क

20गर्मी

2उत्तर

द्वि-आयामी जिपर

हास्केल में 2 डी ग्रिड के बारे में हालिया प्रश्न से प्रेरित, मुझे आश्चर्य है कि सूचियों की सूची में स्थिति का ट्रैक रखने के लिए दो-आयामी जिपर बनाना संभव होगा। एक सूची में एक आयामी जिपर हमें वास्तव में

8गर्मी

2उत्तर

घोंसला वाले मानचित्रों का क्लोजर जिपर एक ट्राई

एक ट्राई के लिए क्लोजर जिपर कैसे बना सकता है, जो नेस्टेड मानचित्रों द्वारा दर्शाया गया है, चाबियां हैं। कुछ इस तरह: {\b {\a {\n {\a {\n {\a {'$ '$}}}}}} \a {\n {\a {'$ '$}}}} 2 शब्द 'केला' और 'एना'

9गर्मी

1उत्तर

स्थानीय रूप से एक पूरी तरह कार्यात्मक पेड़ संपादन

के एक पेड़ टी को परिभाषित करते हैं आसान काम - बस ई के बच्चों को अपडेट करें और हम कर चुके हैं। हालांकि, एक अपरिवर्तनीय दुनिया में पहले ई के पथ को जानना जरूरी है, फिर ई 'ई + नए बच्चे से ई' प्राप्त करें,

5गर्मी

1उत्तर

नोड्स संपादित करने के लिए clojure.zip के साथ पोस्टऑर्डर पेड़ ट्रैवर्सल

मेरे पास एक पेड़ है जो नेस्टेड वेक्टर के रूप में दर्शाया गया है। मैं पेड़ों के लिए indexed, इस तरह प्रत्येक नोड के सूचकांक दिखाने का एक सामान्यीकरण करना चाहते हैं, (visit 42); => [0 42] (visit [6 7])

9गर्मी

2उत्तर

एक HUET जिपर

मैं Huet Zipper पढ़ रहा हूँ अंदर नेविगेट करने के लिए कैसे, मैं go_up विधि समझ में नहीं कर सकते हैं: let go_up (Loc(t,p)) = match p with Top -> failwith "up of top" | Node(left,up,right) -> Loc(Secti