गैर संपूर्ण हास्केल सूची समझ में पैटर्न

Question

संभव डुप्लिकेट:
Why don't Haskell list comprehensions cause an error when pattern match fails?

आज मैं निम्नलिखित कोड देखा:

Prelude> [a | Just a <- [Just 10, Nothing, Just 20]] 
[10, 20] 

यह काम करता है। लेकिन मैंने सोचा था कि उपरोक्त सूची समझ बस वाक्यात्मक चीनी है के लिए ...

[Just 10, Nothing, Just 20] >>= (\(Just x) -> return x) 

... जिसके लिए हास्केल, जब Nothing का सामना, एक त्रुटि *** Exception: Non-exhaustive patterns in lambda फेंकना होगा।

तो मेरा सवाल है: [a | Just a <- [Just 10, Nothing, Just 20]] क्या (मोनैडिक कोड के संदर्भ में) में अनुवाद करता है जो इसे Nothing को अनदेखा करता है?

Answer 1

मुझे लगता है कि that other question में सबसे अच्छा जवाब वास्तव में एक संदर्भ 'कंपाइलर जादू' है। आप पैटर्न Just x मिलान कर रहे हैं, और Haskell 2010 Report के अनुसार व्यवहार ..

के रूप में निर्दिष्ट किया जाता है, तो एक मैच तो सूची बस के ऊपर छोड़ दिया है कि तत्व विफल रहता है।

तो मुझे लगता है कि कार्यान्वयन कृपया ऐसा करने के लिए स्वतंत्र हैं (यानी, desugaring आवश्यक रूप से अद्वितीय नहीं है)।