हास्केल: गैर-सख्त बूलियन ऑपरेशंस

Question

क्या हास्केल में निम्न जैसे फ़ंक्शन को परिभाषित करने के लिए वैसे भी है?

or True  True  = True 
or True  undefined = True 
or True  False  = True 
or undefined True  = True 
or undefined False  = undefined 
or undefined undefined = undefined 
or False  True  = True 
or False  undefined = undefined 
or False  False  = False 

मैं क्या वर्तमान में इसके लिए एक उपयोग के मामले नहीं (हालांकि मैं एक में रुचि हो जाएगा), मैं सिर्फ रुचि है, तो यह संभव है हूँ।

Answer 1

आपके मूल्यांकन आदेश (जिस क्रम में आप मूल्यों का निरीक्षण) यदि आप एक आलसी संस्करण लिख सकें पर निर्भर करता है:

Prelude> True || undefined 
True 
Prelude> undefined || True 
*** Exception: Prelude.undefined 

Prelude> :t or 
or :: [Bool] -> Bool 

Prelude> or [True, undefined] 
True 

वास्तव में, हास्केल में डिफ़ॉल्ट परिभाषा, इस तरह व्यवहार करेगा के बाद से हास्केल एक आलसी है भाषा।

हालांकि, पहले मान को देखे बिना, एक अनिर्धारित मूल्य "छोड़ने" का कोई तरीका नहीं है, जो इसे नीचे मूल्यांकन करेगा, जिससे आपकी अभिव्यक्ति को अपरिभाषित किया जा सकता है।

आप बॉक्स के अंदर देखो, तो एक भूत आपको मिल सकता है:

कि आलसी मूल्यों याद उन्हें अंदर भूत के साथ प्रस्तुत करता है।

यदि बोतलों की जांच करना महत्वपूर्ण है (उदाहरण के लिए टेस्टाइट के हिस्से के रूप में) आप उन्हें अपवाद, and intercept them के रूप में देख सकते हैं। लेकिन आप इसे शुद्ध कार्य में नहीं करेंगे।

Answer 2

मानक हास्केल में यह संभव नहीं है, लेकिन कोनाल इलियट द्वारा lub लाइब्रेरी में लागू एक असुरक्षित चाल के साथ किया जा सकता है।

मूल रूप से, आप दो कार्यों लिखें:

orL True _ = True 
orL False x = x 

orR = flip orL 

और फिर आप or a b परिभाषित कर सकते हैं होने के लिए lub (कम से कम ऊपरी "definedness" आदेश के संबंध में बाउंड) orL a b और orR a b की।

परिचालन रूप से, यह समानांतर में दोनों गणनाओं को चलाता है और दूसरे को चुनता है, जो दूसरे को मारता है।

भले ही आपके द्वारा प्रस्तावित कार्य करता है, लेकिन इसके पास महत्वपूर्ण नुकसान हैं। सबसे पहले, lub केवल तभी सुरक्षित है जब इसके तर्क सहमत हैं (नीचे तक बराबर)। यदि आप lub True False लेते हैं, तो परिणाम गैर-निर्धारक होगा, इस प्रकार शुद्धता का उल्लंघन होगा! दूसरा, समानांतर में दोनों कंप्यूटेशंस चलाने का प्रदर्शन ओवरहेड कुछ स्थितियों में हावी हो सकता है (उदाहरण के लिए, एक बड़ी सूची के foldr or False की गणना करने का प्रयास करें!)।