हास्केल में पॉइंटर समानता?

Question

क्या हास्केल में पॉइंटर गुणवत्ता की कोई धारणा है? == को ईक प्राप्त करने की आवश्यकता होती है, और मेरे पास कुछ ऐसा है जिसमें एक (वैल्यू -> आईओ वैल्यू) है, और न तो - और न ही आईओ प्राप्त होता है।

संपादित करें: मैं किसी अन्य भाषा जो करता सूचक समानता है के लिए एक अनुवादक बना रहा हूं, इसलिए मैं इस व्यवहार मॉडल करने के लिए, जबकि अभी भी हास्केल कार्यों का उपयोग करने के लिए बंद मॉडल करने के लिए सक्षम किया जा रहा कोशिश कर रहा हूँ।

संपादित करें: उदाहरण:

> let x a = a * 2 
> let y = x 
> special x y 
True 
> let z a = a * 2 
> special x z 
False 

Answer 1

संपादित करें: अपना उदाहरण देखते हुए, आप इसे आईओ मोनैड के साथ मॉडल कर सकते हैं। बस अपने कार्यों को IORefs पर असाइन करें और उनकी तुलना करें।

Prelude Data.IORef> z <- newIORef (\x -> x) 
Prelude Data.IORef> y <- newIORef (\x -> x) 
Prelude Data.IORef> z == z 
True 
Prelude Data.IORef> z == y 
False 

Answer 2

IORefs निकाले जाते हैं Eq: मैं एक समारोह special कि इस करना होगा चाहते हैं। मुझे समझ में नहीं आता कि पॉइंटर समानता प्राप्त करने के लिए आपको और क्या चाहिए।

संपादित करें: पॉइंटर समानता की तुलना करने के लिए यह समझ में आता है कि एकमात्र चीजें परिवर्तनीय संरचनाएं हैं। लेकिन जैसा कि मैंने उपर्युक्त उल्लेख किया है, IORefs जैसे म्यूटेबल स्ट्रक्चर, पहले से ही उदाहरण ईक है, जो आपको यह देखने की अनुमति देता है कि दो आईओआरआईफ़ एक ही संरचना हैं, जो बिल्कुल सूचक बराबर है।

Answer 3

पॉइंटर समानता referential transparency तोड़ जाएगी, इसलिए नहीं।

शायद आश्चर्य की बात है, यह वास्तव possiblecompact spaces पर कुल कार्यों का extensional equality गणना करने के लिए है, लेकिन सामान्य रूप में (संभव गैर समाप्ति के साथ पूर्णांकों पर जैसे कार्यों) इस असंभव है।

---

संपादित करें: मैं एक और

भाषा तुम सिर्फ मूल कार्यक्रम एएसटी या स्रोत स्थान हास्केल कार्यों आप उन्हें में अनुवाद किया गया है के साथ रख सकते के लिए एक अनुवादक बना रहा हूं? ऐसा लगता है कि आप उस पर आधारित "समानता" चाहते हैं।

Answer 4

== Eq

पाने किए जाने की

असल (==) समीकरण का एक उदाहरण की आवश्यकता है, जरूरी नहीं कि एक व्युत्पन्न उदाहरण चीजों की आवश्यकता है। आपको शायद ऐसा करने की आवश्यकता है जो ईक का अपना उदाहरण प्रदान करे जो (Value -> IO Value) भाग को अनदेखा करता है। उदा।,

data D = D Int Bool (Value -> IO Value) 

instance Eq D where 
    D x y _ == D x' y' _ = x==x && y==y' 

क्या इससे मदद मिलती है?

Answer 5

मैं अन्य भाषा जो सूचक समानता है के लिए एक अनुवादक बना रहा हूं, इसलिए, जबकि अभी भी हास्केल कार्यों का उपयोग करने के लिए बंद मॉडल करने के लिए सक्षम किया जा रहा मैं इस व्यवहार मॉडल के लिए कोशिश कर रहा हूँ।

मुझे पूरा यकीन है कि ऐसे दुभाषिया को लिखने के लिए, आपका कोड monadic होना चाहिए। क्या आपको किसी प्रकार का पर्यावरण या राज्य बनाए रखना नहीं है? यदि ऐसा है, तो आप फ़ंक्शन क्लोजर के लिए काउंटर भी बनाए रख सकते हैं। इस प्रकार, जब भी आप एक नया बंद करते हैं तो आप इसे एक अद्वितीय आईडी से लैस करते हैं। फिर सूचक समकक्ष के लिए आप बस इन पहचानकर्ताओं की तुलना करें।

Answer 6

ऐसा करने का एक और तरीका StableNames का फायदा उठाना है।

हालांकि, विशेष रूप से आईओ मोनैड के अंदर अपने परिणामों को वापस करना होगा जबतक कि आप असुरक्षित पैराफॉर्मियो का दुरुपयोग नहीं करना चाहते हैं।

आईओआरएफ समाधान को आपकी संरचना के निर्माण में आईओ की आवश्यकता है। जब आप रेफरेंशियल समानता की जांच करना चाहते हैं तो StableNames की जांच केवल तभी होती है।