हास्केल इंफिक्स फ़ंक्शन एप्लिकेशन प्राथमिकता

Question

f x y = x * y दें। हम इस फ़ंक्शन को दो तरीकों से लागू कर सकते हैं: f 5 6, या, इन्फिक्स नोटेशन का उपयोग करके, 5 `f` 6। क्या ऑपरेटर नियम इस अंतिम अभिव्यक्ति पर लागू होते हैं? इस एप्लिकेशन में क्या प्राथमिकता होगी? क्या यह फ़ंक्शन एप्लिकेशन का एक और रूप है, और क्या इसकी सर्वोच्च प्राथमिकता भी होगी?

मुझे लगता है कि संकलक इस विशेष रूप को देखता है (`` और/या एक अक्षर (?) से शुरू होने वाला नाम), और वास्तव में इसे ऑपरेटर पर विचार करने के बजाय सामान्य फ़ंक्शन एप्लिकेशन के रूप में व्यवहार करता है।

Answer 1

Haskell 98 ReportOperator Applications पर एक अनुभाग है कि यह साफ करता है होते है:

एक ऑपरेटर या तो है एक ऑपरेटर प्रतीक, जैसे + या $$, या एक साधारण गंभीर लहजे में संलग्न पहचानकर्ता है (backquotes) , जैसे 'op`। उदाहरण के लिए, उपसर्ग अनुप्रयोग ओपी x y लिखने के बजाय, कोई इंफिक्स एप्लिकेशन x 'op` y लिख सकता है। यदि कोई फिक्सिटी घोषणा 'ओपी' के लिए दी गई है तो यह उच्चतम प्राथमिकता के लिए डिफ़ॉल्ट है और सहयोगीता छोड़ दी गई है (अनुभाग 4.4.2 देखें)।

अन्य उत्तर ने संकेत के रूप में, रिपोर्ट भी है कि आप उदाहरण के लिए, अपने खुद के स्थिरता को परिभाषित करने की अनुमति देता है Fixity Declarations पर एक अनुभाग है:

infixl 7 `op` 

Answer 2

यदि कोई स्पष्ट फ़िक्सिटी घोषणा नहीं दी जाती है, उदाहरण के लिए

infixl 7 `quot` 

एक backticked इन्फ़िक्स समारोह infixl 9 के डिफ़ॉल्ट स्थिरता है, तो एक ही स्थिरता के साथ किसी अन्य इन्फ़िक्स ऑपरेटर की तरह व्यवहार किया जाएगा।