क्या स्कैला समर्थन पूंछ रिकर्सन ऑप्टिमाइज़ेशन का समर्थन करता है?

Question

क्या स्कैला समर्थन पूंछ रिकर्सन ऑप्टिमाइज़ेशन का समर्थन करता है?

Answer 1

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

निम्नलिखित स्निपेट का प्रयास करें:

def boom(n: Int): Nothing = if(n<=0) throw new Exception else boom(n-1) 
boom(10) 

और स्टैक ट्रेस का निरीक्षण किया। यह फ़ंक्शन बूम पर केवल एक कॉल दिखाएगा - इसलिए संकलित बाइटकोड रिकर्सिव नहीं है।

implement tail calls at the JVM level पर चारों ओर तैरने वाला एक प्रस्ताव है - जो मेरी राय में करने के लिए एक बड़ी बात होगी, तब JVM कोड के समय अनुकूलन को संकलित करने के बजाय रनटाइम अनुकूलन कर सकता है - और संभवतः अधिक लचीला पूंछ हो सकता है प्रत्यावर्तन। मूल रूप से एक tailcall invoke एक सामान्य विधि invoke की तरह वास्तव में व्यवहार करते हैं, लेकिन फोन करने वाले के ढेर छोड़ देंगे जब यह ऐसा करने के लिए सुरक्षित है - JVM कहा गया है कि फ्रेम ढेर संरक्षित किया जाना चाहिए के विनिर्देश, तो JIT करने के लिए कुछ स्थिर कोड विश्लेषण करना है पता लगाएं कि स्टैक फ्रेम का उपयोग कभी नहीं किया जा रहा है।

यह की वर्तमान स्थिति proto 80% है। मुझे नहीं लगता कि यह जावा 7 के लिए समय पर किया जाएगा (invokedynamic की प्राथमिकता है, और कार्यान्वयन लगभग पूरा हो गया है) लेकिन जावा 8 इसे लागू कर सकता है।

Answer 2

केवल बहुत ही सरल मामलों में जहां कार्य स्वयं-पुनरावर्ती है।

Proof of tail recursion ability.

यह स्काला 2.8 की तरह लग रहा पूंछ-प्रत्यावर्तन मान्यता में सुधार है, हालांकि हो सकता है।

Answer 3

स्काला 2.7.x अंतिम तरीकों और स्थानीय कार्यों के आत्म-प्रत्यावर्तन के लिए पूंछ-कॉल अनुकूलन (एक समारोह में ही बुला) का समर्थन करता है।

स्काला 2.8 जो पारस्परिक रूप से पुनरावर्ती कार्यों का अनुकूलन करने के लिए एक तकनीक है भी ट्रैम्पोलिन के पुस्तकालय समर्थन, लग सकता है।

एक स्काला प्रत्यावर्तन की स्थिति की जानकारी के अच्छा सौदा Rich Dougherty's blog में पाया जा सकता।

Answer 4

स्काला 2.8 में आप विशिष्ट विधि है कि आप आशा है कि संकलक अनुकूलित करेंगे चिह्नित करने के लिए @tailrec उपयोग कर सकते हैं:

import scala.annotation.tailrec 

@tailrec def factorialAcc(acc: Int, n: Int): Int = { 
    if (n <= 1) acc 
    else factorialAcc(n * acc, n - 1) 
} 

एक विधि अनुकूलित नहीं किया जा सकता है, तो आपको यह चेतावनी मिलती।