हास्केल में अपेक्षित दोनों मानचित्र (^ 2) xs और map (2 ^) xs क्यों काम करते हैं?

Question

क्यों

map (^2) [1..10] 

काम और भी

map (2^) [1..10] 

काम करता है?

मैं उम्मीद करता हूं कि यह केवल उनमें से एक के साथ काम करे, दोनों के लिए नहीं।

मैंने सोचा था कि नक्शा [1..10] के सभी तत्वों से अधिक पुनरावृति और फिर map (^2) [1..10] के लिए

[1^2, 2^2, 3^2, ...] 

है। तो मुझे उम्मीद है कि map (2^) [1..10] दिए जाने पर, यह एक सिंटैक्स त्रुटि या कुछ उत्पन्न करेगा, क्योंकि इसे ^ के बाद होने की संख्या की आवश्यकता होगी, पहले नहीं।

Answer 1

हास्केल व्याकरण "ऑपरेटर वर्गों" कहा जाता है इस तरह निर्माण के लिए विशेष सहायता, है। आप किसी भी इन्फ़िक्स ऑपरेटर है, की तरह कहते हैं कि #$%, उसके बाद निम्न अंकन समर्थित है:

(#$%) = \x y -> x #$% y 
(#$% y) = \x -> x #$% y 
(x #$%) = \y -> x #$% y 

तो आप इस तोड़ने के लिए कुछ गणितीय स्थिरता की उम्मीद कर रहे हैं, और यदि हास्केल आगे की तरह एक miniscule भाषा थे, मैं झुका होगा अपने अंतर्ज्ञान से सहमत होने के लिए। कारण यह काम करता है मूल रूप से "क्योंकि उन्होंने इसे इस तरह काम करने के लिए लिखा"।

(यह भी जोड़ दिया गया अस्पष्टता को कम करने - f + x मतलब है f दो तर्क के लिए आवेदन किया है, या इसका मतलब यह है + दो तर्क के लिए लागू के बाद से यह वास्तव में उत्तरार्द्ध का मतलब है, हम कैसे पूर्व का प्रतिनिधित्व करते हैं उत्तर: का उपयोग कर? () एक ऑपरेटर अनुभाग लागू करने के लिए।)

Answer 2

(2 ^) एक नया फ़ंक्शन बनाता है जो पैरामीटर और आवेदक (2^पैरामीटर) लेता है। यह करीकरण का एक तरीका है।

यहाँ यह पीछे सिद्धांत के साथ एक लिंक है: Partial Application(Haskell.org)

Answer 3

हास्केल जानता है कि ^ एक इन्फ़िक्स ऑपरेटर तो यह (गणितीय संकेतन में) (2^) रूप f(x) = 2^x और (^2)f(x) = x^2 के रूप में व्याख्या है।