एफ # में रिक के रूप में रिकर्सिव फ़ंक्शन को चिह्नित करने का क्या कारण है?

Question

मुझे यकीन है कि अगर यह एक बेवकूफ सवाल यह है कि नहीं हूँ, लेकिन मैं ट्यूटोरियल कि VS 2010 के साथ आता है के माध्यम से जा रहा था और वहाँ इस तरह एक समारोह है:

let rec factorial n = if n=0 then 1 else n * factorial (n-1) 

क्या इस पुनरावर्ती क्रिया के कारण के साथ चिह्नित किया जाना है आरईसी कीवर्ड?

क्या ऐसा है कि संकलक को आश्वस्त होने का आश्वासन दिया जाता है ताकि कुछ अनुकूलन कर सकें?

यदि आप इसे बहिष्कृत करते हैं तो क्या होता है?

Answer 1

यह शिक्षाप्रद हो सकता है:

let Main() = 
    let f(x) = 
     printfn "original f: %d" x 
    let f(x) = 
    //let rec f(x) = 
     printfn "entered new f: %d" x 
     if x > 0 then 
      f(x-1) 
     else 
      printfn "done" 
    f(3) 
Main() 

कि

entered new f: 3 
original f: 2 

प्रिंट अब अगर हम let और टिप्पणी हटाएं let rec बाहर टिप्पणी है, तो इसके बारे में उस बिंदु से

entered new f: 3 
entered new f: 2 
entered new f: 1 
entered new f: 0 
done 

तो प्रिंट देखें, यह सिर्फ बाध्यकारी नाम के बारे में है; let rec पहचानकर्ता को तुरंत दायरे में डालता है (इस उदाहरण में, पिछले f को छायांकन), जबकि let पहचानकर्ता को उसके शरीर को परिभाषित करने के बाद ही दायरे में रखता है।

नियम के लिए प्रेरणा प्रकार अनुमान के साथ बातचीत से स्टेम होती है।

Answer 2

MSDN के अनुसार, यह केवल एक syntatic आवश्यकता है:

रिकर्सिव काम करता है, काम करता है कि खुद को कॉल, एफ # भाषा में स्पष्ट रूप से पहचाने जाते हैं। यह होने वाली पहचान को फ़ंक्शन के दायरे में उपलब्ध परिभाषित करता है।

http://msdn.microsoft.com/en-us/library/dd233232.aspx

Answer 3

क्रिस स्मिथ के अनुसार (एफ # टीम पर काम करता है) -

यह प्रकार निष्कर्ष प्रणाली सूचित करने के लिए समारोह प्रकार निष्कर्ष की प्रक्रिया के हिस्से के रूप में इस्तेमाल किया जा करने की अनुमति है। रिक इनसेक्शन सिस्टम ने फ़ंक्शन के प्रकार

Answer 4

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

Answer 5

रिकर्स कीवर्ड के साथ इस रिकर्सिव फ़ंक्शन को चिह्नित करने का क्या कारण है?

कंपाइलर को बताने के लिए कि फ़ंक्शन के शरीर के अंदर फ़ंक्शन नाम का कोई भी उपयोग उसी नाम के पहले परिभाषित मान के बजाय इसे दोबारा संदर्भित करता है।

क्या ऐसा है कि संकलक को आश्वस्त होने का आश्वासन दिया जाता है ताकि कुछ अनुकूलन कर सकें?

सं

यदि आप इसे बाहर निकालने के तो क्या होगा?

आप अपने फ़ंक्शन बॉडी में स्वयं को संदर्भित करने के लिए परिभाषित किए गए फ़ंक्शन की क्षमता खो देते हैं और उसी नाम के पहले परिभाषित मानों को संदर्भित करने की क्षमता प्राप्त करते हैं।