पैटर्न मिलान समान मान

Question

मुझे आश्चर्य हुआ कि कार्यात्मक प्रोग्रामिंग भाषाओं (हास्केल/एफ #/कैमल) की पैटर्न मिलान सुविधाओं के साथ कई बार एक ही मूल्य के खिलाफ मिलान करना संभव है या नहीं।

बस निम्न उदाहरण के बारे में सोच: जब समारोह दो समान मूल्यों (जो a में संग्रहीत किया जाएगा) के साथ शुरू हो जाती है

plus a a = 2 * a 
plus a b = a + b 

पहले संस्करण का ही कहा जाता है।

यह एक और उपयोगी एप्लीकेशन होगा (एएसटी को सरल बनाना)।

simplify (Add a a) = Mult 2 a 

लेकिन हास्केल इन कोड को खारिज कर दिया और a के लिए परस्पर विरोधी परिभाषाओं की मुझे चेतावनी दी है - मैं बजाय स्पष्ट मामला/अगर-जांच करने के लिए कि क्या समारोह समान मूल्यों मिला लगाना होगा। क्या यह इंगित करने के लिए कोई चाल है कि एक चर जो मैं मिलान करना चाहता हूं वह कई बार होगा?

Answer 1

इसे nonlinear पैटर्न कहा जाता है। इस बारे में हैकेल-कैफे मेलिंग सूची पर कई धागे हैं, बहुत पहले नहीं। यहाँ दो हैं:

http://www.mail-archive.com/haskell-cafe@haskell.org/msg59617.html

http://www.mail-archive.com/haskell-cafe@haskell.org/msg62491.html

निष्कर्ष: किसी भी इसे लागू करने के लिए असंभव नहीं है, लेकिन सादगी की खातिर के खिलाफ निर्णय लिया गया।

वैसे, आपको इसके आसपास काम करने के लिए if या case की आवश्यकता नहीं है; (थोड़ा) क्लीनर तरीका एक गार्ड का उपयोग करना है:

a `plus` b 
    | a == b = 2*a 
    | otherwise = a+b 

Answer 2

आप संकेत मिलता है कि वे बराबर होना चाहिए ही नाम के दो पैरामीटर नहीं कर सकते हैं, लेकिन आप guards उपयोग कर सकते हैं इस तरह के मामलों को अलग करने के:

plus a b 
    | a == b = 2 * a 
    | otherwise = a + b 

यह अधिक लचीला है, क्योंकि यह भी के लिए काम करता है सरल समानता की तुलना में अधिक जटिल स्थितियां।

Answer 3

हास्केल एकीकरण नहीं करता है।

Answer 4

मैं सिर्फ मेलिंग सूची धागे थॉमस के जवाब में दी गई देखा है, और में उनमें से एक अच्छा समझ में आता है बहुत पहले जबाब, और क्यों इस तरह बताते हैं एक "पैटर्न" सामान्य रूप से ज्यादा समझ में नहीं आता है: क्या होगा यदि a एक फ़ंक्शन है? (सामान्य रूप से यह जांचना असंभव है कि यह दो कार्य बराबर है।)

Answer 5

मैंने एक नई कार्यात्मक प्रोग्रामिंग भाषा लागू की है जो हास्केल में गैर-रैखिक पैटर्न को संभाल सकता है।

https://github.com/egison/egison

मेरी भाषा में, अपने plus समारोह के रूप में पालन लिखित में।

(define $plus 
    (match-lambda [integer integer] 
    {[[$a ,a] (* a 2)] 
    [[$a $b] (+ a b)]}))