गार्ड desugaring

Question

मैं अक्सर वाक्यांश सुनता हूं, गार्ड केवल सिंटैक्टिक चीनी हैं, यदि अन्यथा (या केस स्टेटमेंट) के लिए।

किसी निम्नलिखित उदाहरण desugar कृपया:

halfOf :: Int -> Int 
halfOf x | even x = div x 2 

(समारोह जानबूझकर आंशिक है)

धन्यवाद, एक बिना क्रिया मामले से शुरू हो रहा त्रुटि के

Answer 1

पैटर्न मिलान अर्थ विज्ञान मानक के अगले भाग में परिभाषित कर रहे हैं: Formal Semantics of Pattern Matching।

आपके प्रश्न के लिए प्रासंगिक कदम सी है।

case e' of 
{y -> 
    case v of { 
     p -> let { decls } in 
      if g1 then e1 ... else if gn then en else y ; 
     _ -> y }} 

तो पैटर्न गार्ड if के मामले और "fallthrough" में परिभाषित कर रहे हैं कार्यान्वित किया जाता है: आप देख सकते हैं, पैटर्न प्रपत्र

case v of { p | g1 -> e1 ; ... 
       | gn -> en where { decls } 
      _  -> e' } 

पैटर्न में अनुवाद कर रहे हैं के गार्ड के साथ मेल खाता है के रूप में गार्ड के बिना मेल खाता है एक चर के लिए अभिव्यक्ति को बाध्य करके औरके else खंड में और फिर उस पैटर्न में जिसे आप गिरना चाहते हैं उसे दोहराएं।

अगर वहाँ चले जाते करने के लिए कोई मामला है (अपने उदाहरण के रूप में) एक कदम ख है, जो एक डिफ़ॉल्ट मामले _ -> error "No match"

Answer 2

halfOf x = 
    if even x 
    then div x 2 
    else error "Incomplete pattern match" 

सटीक प्रकार है भाषा परिभाषा द्वारा निर्दिष्ट नहीं है, और संकलक से कंपाइलर में भिन्न होता है।

संपादित करें: यदि कई गार्ड और/या पैटर्न हैं, तो प्रत्येक गार्ड या पैटर्न मैच पिछले मामले के गैर-मिलान भाग में जाता है।

compare x y 
    | x == y = foo 
    | x /= y = bar 
compare _ _ = baz 

पैदा करता

compare x y = 
    if x == y 
    then foo 
    else if x /= y 
     then bar 
     else baz