बिंदु मुक्त फ़ंक्शंस इनलाइन करने में सक्षम था?

Question

let inline myfunction x y = ... 

let inline mycurried = myfunction x // error, only functions may be marked inline 

स्पष्ट रूप से inline करीबी कार्यों के लिए असंभव प्रतीत होता है। तो जब भी mycurried कहा जाता है, तो उसे inlined नहीं मिलेगा भले ही myfunctioninlined ठीक है, क्या यह सही है?

तो क्या इसे करीबी फ़ंक्शन की कमी में से एक माना जा सकता है?

Answer 1

मुझे लगता है कि आपके सवाल का एक point-free समारोह या inlined जा सकता है या नहीं है।

आपको जो सीमा मिली वह करीबी कार्य की वजह से नहीं है। ध्यान दें कि आपके उदाहरण में करीबी फ़ंक्शन दाएं तरफ है, बाईं तरफ आपके पास पॉइंट-फ्री फ़ंक्शन है।

एफ # केवल कार्यों को इनलाइन होने की अनुमति देता है, न कि स्थिरांक।

मैं सिद्धांत आपको सोच सकता हूं कि इसे एक बग के रूप में माना जा सकता है, यह देखते हुए कि टाइप अनुमान एक (पॉइंट-फ्री) फ़ंक्शन है, लेकिन टॉमस से दुष्प्रभावों के बारे में नोट्स पढ़ें।

जाहिर है जब संकलक बाईं ओर केवल एक पहचानकर्ता यह इस त्रुटि के साथ विफल पर पाता है:

let inline myfunction x y = x + y 

let inline mycurried = myfunction 1 

--> Only functions may be marked 'inline' 

के रूप में ब्रायन ने कहा कि एक समाधान के दोनों किनारों पर एक स्पष्ट पैरामीटर जोड़ने है:

let inline mycurried x = (myfunction 1) x 

लेकिन फिर आपका फ़ंक्शन अब बिंदु-मुक्त नहीं है, यह वही है:

let inline mycurried x = myfunction 1 x 

let inline mycurried<'a> = myfunction 1 

जब सामान्य मापदंडों बाईं ओर स्पष्ट रूप से मौजूद हैं यह संकलित: एक और तरीका है एक स्पष्ट सामान्य पैरामीटर जोड़ने का हो सकता है। यदि आपका जवाब (और अपने downvote) के लिए

Since only functions can be 'inline' this value will be compiled as a function. 

अद्यतन

धन्यवाद टॉमस:

मैं वे त्रुटि संदेश को हटाने और यह एक चेतावनी देते हैं, जैसे कुछ चाहते हैं।

मेरी व्यक्तिगत राय यह एक चेतावनी होनी चाहिए, इसलिए आप जानते हैं कि आपके कोड का अर्थात् अंततः बदल जाएगा, लेकिन फिर यह तय करना है कि क्या करना है।

आप कहते हैं कि इनलाइन "सिर्फ एक अनुकूलन" है लेकिन यह है कि पूरी तरह सच नहीं है:

। बस अपने सभी कार्यों को इनलाइन करने से इष्टतम कोड की गारंटी नहीं मिलती है।

। आप स्थिर बाधाओं का उपयोग करना चाह सकते हैं और फिर आपको इनलाइन का उपयोग करना होगा।

मैं अपने (तरह के) जेनेरिक स्थिरांक को परिभाषित करने में सक्षम होना चाहता हूं, क्योंकि एफ # लाइब्रेरी पहले से ही (यानी जेनेरिकझेरो और जेनेरिकऑन) है। मुझे पता है कि मेरा कोड शुद्ध होगा, इसलिए मुझे परवाह नहीं है कि यह हर बार निष्पादित होता है या नहीं।

Answer 2

मुझे लगता है कि तुम सिर्फ दोनों पक्षों के लिए एक स्पष्ट पैरामीटर जोड़ने के लिए (हालांकि मैं प्रयास नहीं किया है) की जरूरत है:

let inline myfunction x y = ... 

let inline mycurried y = myfunction 42 y // or whatever value (42) 

Answer 3

कंपाइलर केवल inline को फ़ंक्शन को परिभाषित करने वाले बाइंडिंग पर अनुमति देता है। यह अनिवार्य रूप से वही बात है जो with F# value restriction हो रहा है (और also here देखें)। जैसा कि ब्रायन कहते हैं, आप आसानी से अपने फ़ंक्शन में पैरामीटर जोड़ कर इसे हल कर सकते हैं।

यह प्रतिबंध क्यों मौजूद है? यदि यह वहां नहीं था, तो inline जोड़ना आपके कार्यक्रमों का अर्थ बदल देगा और यह बुरा होगा!

let createCounter n = 
    let state = ref n 
    (fun() -> incr state; !state) 

अब निम्नलिखित कोड,:

let counter = createCounter 0 

... बनाता

उदाहरण के लिए, अगर आप इस तरह एक समारोह (जो परिवर्तनशील राज्य बनाता है और एक काउंटर फ़ंक्शन) है कहना एक वैश्विक कार्य जिसे आप कई बार उपयोग कर सकते हैं (counter() पर कॉल करें) और यह आपको 1 से शुरू होने वाले अद्वितीय पूर्णांक देगा। यदि आप इसे inline:

पर चिह्नित कर सकते हैं

... फिर हर बार जब आप counter() का उपयोग करते हैं, तो संकलक को createCounter 0() के साथ प्रतिस्थापित करना चाहिए और इसलिए जब भी आप काउंटर को कॉल करेंगे तो आपको 1 मिल जाएगा!