"सही" शुद्ध कार्यात्मक दोगुना से जुड़े सूची और

Question

Recently मैं this OCaml code पेश किया गया था जो हास्केल में के रूप में लिखा जा सकता है नोड्स की साझेदारी:

data DL a = DL [a] a [a] 

create [] = error "empty list" 
create (x:xs) = DL [] x xs 

next (DL pr x (h:tl)) = DL (x:pr) h tl 
next _ = error "end of dlist" 

prev (DL (p:pr) x tl) = DL pr p (x:tl) 
prev _ = error "start of dlist" 

जो मैं हालांकि था नहीं एक उचित दोगुना से जुड़े सूची कार्यान्वयन, क्योंकि यह ट्रैवर्सल पर नया भंडारण बनाता है। OTOH वहाँ this Haskell code है:

data DList a = Leaf | Node { prev::(DList a), elt::a, next::(DList a) } 

create = go Leaf 
    where go _ []  = Leaf 
     go prev (x:xs) = current 
      where current = Node prev x next 
        next = go current xs 

हम कह सकते हैं कि यह केवल इस कोड है कि सच डीएल-सूची है?

क्या हम डीएल-सूची के नोड्स के सही साझाकरण को प्रस्तुत करने के लिए इस कोड पर भरोसा कर सकते हैं, ताकि ट्रैवर्सल पर कोई नया संग्रहण नहीं बनाया जा सके?

हास्केल में समान नाम वाले चर हमेशा एक ही "बात"की चर्चा करते हुए है या समान नाम वाले चर एक ही बात की अलग प्रति को देखें की घटनाओं को अलग कर सकते हैं? (जोर जोड़ने के लिए संपादित)।

Answer 1

मैं सुझाव दूंगा कि उत्तरार्द्ध "सही" कार्यान्वयन है, हां।

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

Answer 2

आप कल्पना कर सकते हैं कि आपकी डेटा संरचना का मेमोरी लेआउट वैक्यूम-कैरो नामक पैकेज का उपयोग कैसे करता है। cabal install vacuum-cairo साथ hackage से स्थापित करें तो आप GHCi में कुछ इस तरह से दो संरचनाओं में अंतर सत्यापित करने के लिए सक्षम होना चाहिए:

> import System.Vacuum.Cairo 
> view $ create [1..5] 

वहाँ आप देख सकते हैं नोड्स DList रूप डीएल के साथ दो सूचियों वह जगह है जहाँ का उपयोग कर साझा कर रहे हैं बीच में एक तत्व (जैसा कि बताया गया है, यह जिपर का प्रकार है)।

नोट: यह जीएचसी विशिष्ट है, एक अलग कार्यान्वयन स्मृति में डेटा का अलग-अलग प्रतिनिधित्व कर सकता है, लेकिन यह सामान्य होगा।