हास्केल प्राथमिकता: लैम्ब्डा और ऑपरेटर

Question

मुझे प्राथमिकता मिली और सहयोगीता यह समझने के लिए एक बड़ी बाधा है कि व्याकरण पहले नज़र में हैकेल कोड को व्यक्त करने का प्रयास कर रहा है।

उदाहरण के लिए,

blockyPlain :: Monad m => m t -> m t1 -> m (t, t1) 
blockyPlain xs ys = xs >>= \x -> ys >>= \y -> return (x, y) 

प्रयोग करके, मैं अंत में, मिला कौन सा रूप में काम करता तो इसका मतलब है

blockyPlain xs ys = xs >>= (\x -> (ys >>= (\y -> return (x, y)))) 

बजाय

blockyPlain xs ys = xs >>= (\x -> ys) >>= (\y -> return (x, y)) 

:

*Main> blockyPlain [1,2,3] [4,5,6] 
[(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)] 

मैं एक ऑपरेटर के रूप में ghci (>> =) के लिए जानकारी प्राप्त कर सकता हूं, (infixl 1 >> =)।

लेकिन इसके लिए कोई जानकारी नहीं है -> क्योंकि यह ऑपरेटर नहीं है।

क्या आप में से कोई भी इस व्याकरण की चीज़ को समझने के लिए कुछ संदर्भ दे सकता है?

Answer 1

लैम्बडास का नियम बहुत आसान है: लैम्ब्डा का शरीर असंतुलित कोष्ठक को मारने के बिना जितना संभव हो सके दाएं तक फैला हुआ है।

f (\x -> foo (bar baz) *** quux >>= quuxbar) 
     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 
         body 

Answer 2

अंगूठे का एक अच्छा नियम है कि आप वाक्यात्मक निर्माणों में बनाया पर पूर्वता है कि एक कस्टम ऑपरेटर कभी नहीं कर सकते हैं लगता है। मिसाल के तौर पर इस उदाहरण पर विचार करें:

(if b then f *** x else f) *** y 

हैं नहीं हास्केल में वाक्यात्मक निर्माणों का एक बहुत (do और: *** की संबद्धता की परवाह किए बिना

if b then f *** x else f *** y 

, कोई भी रूप में बांध को यह उम्मीद करेंगे case लेआउट वाक्य रचना की वजह से एक छोटे से विशेष कर रहे हैं), लेकिन let एक और उदाहरण के रूप में इस्तेमाल किया जा सकता:

(let x = y in y *** x) /= ((let x = y in y) *** x)