मैंने इस उद्धरण को इस प्रश्न पर देखा: एक अच्छी कार्यात्मक भाषा क्या है जिस पर वेब सेवा का निर्माण किया जाता है?
विशेष रूप से स्काला स्व-पुनरावर्ती कार्यों को छोड़कर पूंछ-कॉल उन्मूलन का समर्थन नहीं करता है, जो आपके द्वारा की जाने वाली रचना के प्रकार को सीमित करता है (यह जेवीएम की एक मौलिक सीमा है)।
क्या ये सच है? यदि हां, तो जेवीएम के बारे में ऐसा क्या है जो इस मौलिक सीमा को बनाता है?
जवाबों:
यह पोस्ट: पुनरावृत्ति या Iteration? मदद हो सकती है।
संक्षेप में, सुरक्षा मॉडल और हमेशा स्टैक ट्रेस उपलब्ध होने की आवश्यकता के कारण जेवीएम में टेल कॉल ऑप्टिमाइज़ेशन करना कठिन है। सिद्धांत में इन आवश्यकताओं का समर्थन किया जा सकता है, लेकिन इसके लिए संभवतः एक नए बायटेकोड की आवश्यकता होगी ( जॉन रोज के अनौपचारिक प्रस्ताव देखें )।
सन बग # 4726340 में भी अधिक चर्चा है , जहां मूल्यांकन (2002 से) समाप्त होता है:
मेरा मानना है कि यह फिर भी किया जा सकता है, लेकिन यह कोई छोटा काम नहीं है।
वर्तमान में, दा विंची मशीन परियोजना में कुछ काम चल रहा है । टेल कॉल उपप्रोजेक्ट की स्थिति "प्रोटो 80%" के रूप में सूचीबद्ध है; इसे जावा 7 में बनाने की संभावना नहीं है, लेकिन मुझे लगता है कि जावा 8 में इसका बहुत अच्छा मौका है।
मौलिक सीमा केवल यह है कि JVM अपने बाइट कोड में टेल कॉल प्रदान नहीं करता है और, परिणामस्वरूप, JVM पर टेल कॉल प्रदान करने के लिए JVM पर निर्मित भाषा का कोई सीधा रास्ता नहीं है। ऐसे वर्कअराउंड हैं जो एक समान प्रभाव प्राप्त कर सकते हैं (उदाहरण के लिए trampolining) लेकिन वे भयानक प्रदर्शन की गंभीर लागत पर आते हैं और उत्पन्न मध्यवर्ती कोड को बाधित करते हैं जो एक डिबगर को बेकार बनाता है।
इसलिए JVM किसी भी उत्पादन-गुणवत्ता वाली कार्यात्मक प्रोग्रामिंग भाषाओं का समर्थन नहीं कर सकता, जब तक कि सूर्य JVM में टेल कॉल को लागू न कर दे। वे वर्षों से इस पर चर्चा कर रहे हैं, लेकिन मुझे संदेह है कि वे कभी भी टेल कॉल को लागू करेंगे: यह बहुत मुश्किल होगा क्योंकि उन्होंने इस तरह की बुनियादी कार्यक्षमता को लागू करने से पहले अपने वीएम को समय से पहले अनुकूलित किया है, और सूर्य का प्रयास कार्यात्मक भाषाओं के बजाय गतिशील भाषाओं पर दृढ़ता से केंद्रित है।
इसलिए एक बहुत मजबूत तर्क है कि स्काला एक वास्तविक कार्यात्मक प्रोग्रामिंग भाषा नहीं है: इन भाषाओं ने टेल कॉल को एक आवश्यक विशेषता माना है क्योंकि योजना को 30 साल पहले शुरू किया गया था।
Hence there is a very strong argument that Scala is not a real functional programming language - तर्क वास्तव में काफी कमजोर है। यकीन है tail calls [as] an essential feature, और अच्छा है अगर अंतर्निहित हार्डवेयर (या पुण्य मशीन) इसे सीधे समर्थन करता है। लेकिन यह कार्यान्वयन विवरण है।
Scala 2.7.x अंतिम तरीकों और स्थानीय कार्यों के स्व-पुनर्संयोजन (स्वयं को कॉल करने वाला) के लिए टेल-कॉल ऑप्टिमाइज़ेशन का समर्थन करता है।
स्कैला 2.8, ट्रम्पोलिन के लिए पुस्तकालय समर्थन के साथ भी आ सकता है, जो पारस्परिक रूप से पुनरावर्ती कार्यों को अनुकूलित करने की एक तकनीक है।
स्केला की स्थिति के बारे में जानकारी का एक अच्छा सौदा रिच डफ़र्टी के ब्लॉग में पाया जा सकता है ।
लैम्ब्डा द अल्टीमेट (ऊपर पोस्ट किए गए लिंक मिमीर्स से) में जुड़े पेपर के अलावा, सन से जॉन रोज ने टेल कॉल ऑप्टिमाइज़ेशन के बारे में कुछ और कहा है।
http://blogs.oracle.com/jrose/entry/tail_calls_in_the_vm
मैंने सुना है कि यह किसी दिन JVM पर लागू हो सकता है। अन्य चीजों के बीच टेल कॉल सपोर्ट को दा विंची मशीन पर देखा जा रहा है।
सभी स्रोत जेवीएम को पूंछ पुनरावृत्ति के मामले में अनुकूलित करने में असमर्थ होने की ओर इशारा करते हैं, लेकिन जावा प्रदर्शन ट्यूनिंग पढ़ने पर (2003, ओवेरी) मैंने लेखक को यह दावा करते हुए पाया कि वह पूंछ पुनरावृत्ति को लागू करके अधिक पुनरावृत्ति प्रदर्शन प्राप्त कर सकता है।
आप पृष्ठ 212 पर उसका दावा पा सकते हैं ('पूंछ पुनरावृत्ति के लिए खोज' यह दूसरा परिणाम होना चाहिए)। क्या देता है?