हास्केल में सूचियों के संदर्भ में "@" प्रतीक का क्या अर्थ है?

Question

मैं हास्केल कोड के एक टुकड़े में आया हूं जो इस तरह दिखता है:

ps@(p:pt) 

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

Answer 1

हां, यह सिंटैक्टिक चीनी है, @ के साथ "as" के रूप में जोर से पढ़ें। ps

सूची के सिर: p

सूची की पूंछ: pt

@ के बिना, आप के बीच चयन करना होगा (1 ps@(p:pt) आप नाम के लिए

1. सूची प्रदान करती है) या (2) :(3)।

   यह वाक्यविन्यास वास्तव में किसी भी निर्माता के लिए काम करता है; यदि आपके पास data Tree a = Tree a [Tree a] है, तो t@(Tree _ kids) आपको पेड़ और उसके दोनों बच्चों तक पहुंच प्रदान करता है।

Answer 2

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

यह उपयोगी है अगर आप अपने हिस्सों में पैरामीटर को "विघटित" करना चाहते हैं, जबकि अभी भी आपके फ़ंक्शन में पूरी तरह से पैरामीटर की आवश्यकता है। एक उदाहरण जहां यह मामला है मानक पुस्तकालय से tails समारोह है:

tails     :: [a] -> [[a]] 
tails []    = [[]] 
tails xxs@(_:xs)  = xxs : tails xs 

Answer 3

में जोड़ने के लिए अन्य लोगों को क्या कहा है, वे के रूप में पैटर्न (एमएल में वाक्य रचना कीवर्ड "का उपयोग करता है कहा जाता है के रूप में "), और patterns पर हास्केल रिपोर्ट के अनुभाग में वर्णित हैं।

Answer 4

मैं जिसका अर्थ है आप यह कर सकते हैं सभी स्तरों पर कि @ काम करता है जोड़ना चाहते हैं,:

let a @ (b @ (Just c), Just d) = (Just 1, Just 2) in (a, b, c, d) 

कौन सा है तो इस का उत्पादन करेगा: ((Just 1, Just 2), Just 1, 1, 2)

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

इस मामले में, a पूरे Maybe Tuple है, b सिर्फ टपल में पहली Just है, और c और d मूल्यों पहले और दूसरे Just टपल में में निहित हैं क्रमशः