एफ # ऑपरेटर/फंक्शन भ्रम

Question

मैं बस एफ # पर शुरू कर रहा हूं, और जब ऑपरेटर अधिभार के साथ खेल रहा हूं, तो मैंने कुछ ऐसा किया है जो मुझे समझ में नहीं आता है। अब, मैं समझता हूं कि आप इसका उपयोग नहीं कर सकते, उदाहरण के लिए, +* ओवरलोडेड उपसर्ग ऑपरेटर के रूप में; यह केवल एक इंफिक्स ऑपरेटर हो सकता है। यहाँ है जहाँ मैं भ्रमित हो, हालांकि:

let (+*) a = a + a * a;; 

अगर मैं इस चलाने के लिए, FSI मुझसे कहता है कि समारोह (+*) एक int->int है। बढ़िया, मैं इसे खोद सकता हूं - यह एक ओवरलोडेड ऑपरेटर नहीं है, केवल (+*) नामक एक सामान्य फ़ंक्शन है। तो, अगर मैं करता हूं:

printf "%d" ((+*) 6) 

मुझे 42 मिलेंगे, जैसा कि मुझे उम्मीद है। हालांकि, अगर मैं कोशिश करता हूं:

printf "%d" (+*) 6 
or 
printf "%d" (+*)6 

यह संकलित नहीं होगा। मैं अभी सही त्रुटि नहीं डाल सकता क्योंकि मेरे पास इस समय एक एफ # कंपाइलर तक पहुंच नहीं है, लेकिन यह क्यों है? यहां बाध्यकारी के साथ क्या चल रहा है?

Answer 1

यह इस व्याख्या है:

printf "%d" (+*) 6 

इस तरह

:

printf ("%d") (+*) (6) 

दूसरे शब्दों में, printf करने के लिए तीन curried तर्क गुजर, दूसरा जो के समारोह +* लिए एक संदर्भ है।