हास्केल के समारोह आवेदन ऑपरेटर ($) उपयोग

Question

मैं जिसमें वह निम्नलिखित समारोह को परिभाषित करता है बार्तोज़ Milewski द्वारा एक टुकड़ा पढ़ रहा हूँ:

instance Applicative Chan where 
    pure x = Chan (repeat x) 
    (Chan fs) <*> (Chan xs) = Chan (zipWith ($) fs xs) 

कोष्टक में समारोह आवेदन ऑपरेटर क्यों है? मैं समझता हूं कि यह आमतौर पर उपसर्ग नोटेशन फॉर्म में इंफिक्स फ़ंक्शन का उपयोग करने के लिए किया जाता है, लेकिन मुझे समझ में नहीं आता कि, इस मामले में, फ़ंक्शन को Chan (zipWith $ fs xs) के रूप में व्यक्त नहीं किया जा सका, और आश्चर्य कीजिए कि बीच क्या अंतर है दो है।

(अगर आप अभी भी संदर्भ की जरूरत है, article को देखें)

Answer 1

इस मामले में, $ किया जा रहा zipWith को में पारित हो जाता है। यह

zipWith (\ f x -> f x) fs xs 

लेखन कोष्ठकों के बिना के रूप में ही है, यह

zipWith (fs xs) 

जो typecheck के लिए नहीं जा रहा है के बराबर हो गया होता।

ब्रांड्स में एक ऑपरेटर सामान्य पहचानकर्ता की तरह व्यवहार करता है।

apply = ($) 

कोड

zipWith apply fs xs