क्या यह फ़ंक्शन पूंछ रिकर्सन का उपयोग करता है?

Question

मुझे आश्चर्य है कि क्या ओकैम इस कोड को पूंछ रिकर्सिव होने के लिए अनुकूलित करता है और यदि ऐसा होता है तो F #?

let rec sum xs = 
    match xs with 
    | [] -> 0 
    | x :: xs' -> x + sum xs' 

Answer 1

पुनरावर्ती मामले में (यानी मामला कि x खाली नहीं है) अंतिम मूल्यांकन ऑपरेशन अतिरिक्त है। फ़ंक्शन को पूंछ-रिकर्सिव होने के लिए अंतिम मूल्यांकन ऑपरेशन को रिकर्सिव कॉल करने की आवश्यकता है।

इस तरह के कार्यों को आमतौर पर एक सहायक उपकरण के साथ एक सहायक कार्य का उपयोग करके परिभाषित किया जाता है ताकि उन्हें पूंछ-पुनरावर्ती बना दिया जा सके। इस मामले में यह एक ऐसा कार्य होगा जो सूची को सारांशित किया जाएगा और योग का वर्तमान मूल्य होगा। यदि सूची खाली है, तो यह राशि के वर्तमान मूल्य को वापस कर देगी। यदि सूची खाली नहीं है, तो यह सूची की पूंछ और योग के वर्तमान मूल्य के रूप में सूची के प्रमुख के रूप में स्वयं को कॉल करेगा। योग फ़ंक्शन तब सूची के साथ हेल्पर फ़ंक्शन को कॉल करेगा और 0 योग के वर्तमान मान के रूप में होगा।

Answer 2

नहीं, यह कोड पूंछ पुनरावर्ती नहीं है, और ocaml यह परिणत नहीं होंगे। आपको इसे स्वयं करना है।

मुझे एफ # के लिए पता नहीं है, लेकिन मुझे संदेह है कि यह इसे अनुकूलित करेगा।