BangPatterns कहां दिखाए जा सकते

Question

GHC user guide से यह PBangPat हो सकता है सबसे Pat की तरह लगता है, लेकिन वहाँ कुछ अपवाद हैं। जैसे मॉड्यूल में शीर्ष-स्तरीय बैंग (जैसे !main) और x : !xsx : (!xs) parses धन्यवाद @chi को पार्स करने में विफल रहता है। बैंग्स को कहां जोड़ा जा सकता है इसके बारे में औपचारिक विनिर्देश क्या है? मैंने उपयोगकर्ता मार्गदर्शिका और रिपोर्ट के कुछ अध्यायों में देखा है लेकिन कुछ भी नहीं मिला है।

Answer 1

BangPatterns के लिए कोई स्वीकार्य औपचारिक विनिर्देश नहीं है क्योंकि वे किसी भी हास्केल रिपोर्ट का हिस्सा नहीं हैं। हमारे पास एक विनिर्देशन की सबसे नज़दीकी चीज है जो उपयोगकर्ता की मार्गदर्शिका है, जिसमें हैकेल-प्राइम प्रस्ताव के साथ लिंक है।

दोनों स्रोत स्पष्ट रूप से उल्लेख करते हैं कि मॉड्यूल के शीर्ष स्तर पर एक बैंग पैटर्न की अनुमति नहीं है।

pat ::= !pat 

यह:

हम पैटर्न की वाक्य रचना के लिए एक एकल नई उत्पादन जोड़ें:

x : !xs का सवाल है, उपयोगकर्ता मार्गदर्शिका इस धमाके के पैटर्न के सिंटैक्स के बारे में क्या कहना है हास्केल 2010 रिपोर्ट के साथ संयोजन में पढ़ा जाना चाहिए:

pat ::= lpat qconop pat 
     | lpat 

lpat ::= apat 
     | - (integer | float) 
     | gcon apat_1 ... apat_k 

apat ::= var [ @ apat] 
     | ... 
     | (pat) 
     | ... 

इन नियमों x : !xs वास्तव में पार्स चाहिए के अनुसार (के बाद से !xs एक pat है, पूरी बात lpat qconop pat है)। तो या तो उपयोगकर्ता की मार्गदर्शिका (और हैकेल-प्राइम प्रस्ताव) गलत है या इस बिंदु पर जीएचसी गलत है।

मेरा मानना ​​है कि अभ्यास में जीएचसी द्वारा स्वीकार किए गए वाक्यविन्यास ऑपरेटर ! के एक भाग के रूप में (!x) को व्याख्या करने सहित "वैध अभिव्यक्ति की तरह दिखता है"। उदाहरण के लिए (! Just x) एक पैटर्न के रूप में स्वीकार किया जाता है लेकिन (! ! x) नहीं है।