त्रुटि फ़ंक्शन पर कॉल को कैसे पकड़ें (और अनदेखा करें)?

Question

मुझे आश्चर्य है कि मुझे कहीं भी इसका जवाब नहीं मिला।

मैं एक roguelike लिख रहा हूँ और मैं हैकेज से ncurses पुस्तकालय का उपयोग कर रहा हूँ, जो ncurses पुस्तकालय के चारों ओर एक बहुत अच्छा रैपर है। अब ncurses में यह quirk है, जहां आप निचले दाएं चरित्र को लिखने का प्रयास करते हैं, ऐसा करता है, तो यह कर्सर को अगले चरित्र पर ले जाने की कोशिश करता है, तो यह विफल हो जाता है क्योंकि इसे स्थानांतरित करने के लिए कहीं भी नहीं है। यह एक त्रुटि मान देता है जिसे आप केवल अनदेखा कर सकते हैं।

मेरी समस्या यह है कि हैकेल ncurses लाइब्रेरी लेखक सभी कॉल पर किसी भी त्रुटि के लिए कर्तव्यपूर्वक जांच करता है, और जब कोई होता है, तो वह कॉल करता है: त्रुटि "drawText: आदि इत्यादि"।

अन्य भाषाओं में, सी या पायथन जैसे, इस के आसपास पाने के लिए आपको त्रुटि को अनदेखा करने या पकड़ने और अपवाद को अनदेखा करने के लिए मजबूर होना पड़ता है, लेकिन मेरे जीवन के लिए मैं यह नहीं समझ सकता कि इसे हैकेल में कैसे किया जाए। त्रुटि त्रुटि अप्राप्य है?

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

Answer 1

error को अनंत लूप के रूप में देखा जा सकता है। आप IO में केवल error पकड़ सकते हैं, जो कहने पर है "हाँ यदि आप जादू जानते हैं तो आप कर सकते हैं"। लेकिन हास्केल, शुद्ध कोड के वास्तव में अच्छे हिस्से से, यह अप्राप्य है, और इस प्रकार आपके कोड में उपयोग करने के लिए को दृढ़ता से सलाह दी जाती है, जितना आप कभी भी अनंत कोड को एक त्रुटि कोड के रूप में उपयोग करेंगे।

ncurses कठोर हो रहा है और इसे सही करने के लिए आपको जादू कर रहा है। मैं कहूंगा कि unsafePerformIO इसे साफ़ करने के लिए जरूरी होगा। इसके अलावा, यह काफी हद तक पॉल के जवाब के समान ही है।

import qualified Control.Exception as Exc 

{-# NOINLINE unsafeCleanup #-} 
unsafeCleanup :: a -> Maybe a 
unsafeCleanup x = unsafePerformIO $ Exc.catch (x `seq` return (Just x)) handler 
    where 
    handler exc = return Nothing `const` (exc :: Exc.ErrorCall) 

तो किसी भी मूल्य है कि यह एक Maybe में बदलने के लिए एक त्रुटि के मूल्यांकन करेगा चारों ओर unsafeCleanup लपेट दें।

Answer 2

आप से catch का उपयोग कर ऐसा कर सकते हैं। नोट, हालांकि, ऐसा करने के लिए आपको IO मोनैड में होना चाहिए।

import qualified Control.Exception as Exc 

divide :: Float -> Float -> Float 
divide x 0 = error "Division by 0." 
divide x y = x/y 

main :: IO() 
main = Exc.catch (print $ divide 5 0) handler 
    where 
     handler :: Exc.ErrorCall -> IO() 
     handler _ = putStrLn $ "You divided by 0!"