ฉันเห็นคำพูดนี้ในคำถาม: ภาษาที่ใช้งานได้ดีในการสร้างบริการเว็บคืออะไร?
โดยเฉพาะอย่างยิ่ง Scala ไม่รองรับการกำจัดหางโทรยกเว้นในฟังก์ชันเรียกซ้ำในตัวเองซึ่ง จำกัด ประเภทขององค์ประกอบที่คุณสามารถทำได้ (นี่เป็นข้อ จำกัด พื้นฐานของ JVM)
นี่คือเรื่องจริง? ถ้าเป็นเช่นนั้น JVM ที่สร้างข้อ จำกัด พื้นฐานนี้คืออะไร?
คำตอบ:
โพสต์นี้: การเรียกซ้ำหรือการทำซ้ำ? อาจช่วยได้
ในระยะสั้นการเพิ่มประสิทธิภาพการโทรหางทำได้ยากใน JVM เนื่องจากรูปแบบการรักษาความปลอดภัยและจำเป็นต้องมีการติดตามสแต็กพร้อมใช้งานเสมอ ข้อกำหนดเหล่านี้อาจได้รับการสนับสนุนในทางทฤษฎี แต่อาจต้องใช้รหัสไบต์ใหม่ (ดูข้อเสนออย่างไม่เป็นทางการของ John Rose )
นอกจากนี้ยังมีการสนทนาเพิ่มเติมในSun bug # 4726340ซึ่งการประเมินผล (จากปี 2002) สิ้นสุดลง:
ฉันเชื่อว่าสิ่งนี้สามารถทำได้ แต่ก็ไม่ใช่งานเล็ก ๆ
ปัจจุบันมีการทำงานบางอย่างเกิดขึ้นในดาวินชีเครื่องโครงการ สถานะของโครงการย่อยของ tail call แสดงเป็น "โปรโต 80%"; มันไม่น่าจะทำให้เป็น Java 7 แต่ฉันคิดว่ามันมีโอกาสที่ดีมากที่ Java 8
ข้อ จำกัด พื้นฐานคือ JVM ไม่ได้จัดเตรียมการเรียกหางในรหัสไบต์ดังนั้นจึงไม่มีวิธีโดยตรงสำหรับภาษาที่สร้างขึ้นจาก JVM เพื่อจัดเตรียมการเรียกหางเอง มีวิธีแก้ปัญหาที่สามารถบรรลุเอฟเฟกต์ที่คล้ายกัน (เช่น trampolining) แต่มีต้นทุนต่ำของประสิทธิภาพที่แย่มากและทำให้โค้ดกลางที่สร้างขึ้นทำให้สับสนซึ่งทำให้ดีบักเกอร์ไร้ประโยชน์
ดังนั้น JVM จึงไม่สามารถรองรับภาษาการเขียนโปรแกรมเชิงฟังก์ชันคุณภาพการผลิตใด ๆ ได้จนกว่า Sun จะใช้การเรียกหางใน JVM เอง พวกเขาคุยกันมาหลายปีแล้ว แต่ฉันสงสัยว่าพวกเขาจะใช้การโทรหางมันจะยากมากเพราะพวกเขาได้เพิ่มประสิทธิภาพ VM ก่อนกำหนดก่อนที่จะใช้ฟังก์ชันพื้นฐานดังกล่าวและความพยายามของ Sun มุ่งเน้นไปที่ภาษาแบบไดนามิกมากกว่าภาษาที่ใช้งานได้
ดังนั้นจึงมีข้อโต้แย้งที่ชัดเจนมากว่า Scala ไม่ใช่ภาษาการเขียนโปรแกรมที่ใช้งานได้จริง: ภาษาเหล่านี้ถือว่าการเรียกหางเป็นคุณสมบัติที่สำคัญเนื่องจาก Scheme เปิดตัวครั้งแรกเมื่อ 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 รองรับการเพิ่มประสิทธิภาพการโทรหางสำหรับการเรียกซ้ำด้วยตนเอง (ฟังก์ชันเรียกตัวเอง) ของวิธีการขั้นสุดท้ายและฟังก์ชันท้องถิ่น
Scala 2.8 อาจมาพร้อมกับการรองรับห้องสมุดสำหรับแทรมโพลีนด้วยเช่นกันซึ่งเป็นเทคนิคในการเพิ่มประสิทธิภาพฟังก์ชันเรียกซ้ำร่วมกัน
การจัดการที่ดีของข้อมูลเกี่ยวกับสถานะของ Scala recursion ที่สามารถพบได้ในบล็อกรวยโดเฮอร์ที
นอกเหนือจากกระดาษที่เชื่อมโยงใน Lambda The Ultimate แล้ว (จากลิงค์ mmyers ที่โพสต์ไว้ด้านบน) John Rose จาก Sun ยังมีอะไรอีกมากมายที่จะพูดเกี่ยวกับการเพิ่มประสิทธิภาพการโทรหาง
http://blogs.oracle.com/jrose/entry/tail_calls_in_the_vm
ฉันได้ยินมาว่ามันอาจจะถูกนำไปใช้กับ JVM ในสักวันหนึ่ง การสนับสนุนการโทรหางเหนือสิ่งอื่นใดกำลังได้รับการพิจารณาบน Da Vinci Machine
แหล่งที่มาทั้งหมดชี้ให้เห็นว่า JVM ไม่สามารถปรับให้เหมาะสมได้ในกรณีของการเรียกซ้ำหาง แต่เมื่ออ่านการปรับแต่งประสิทธิภาพของ Java (ปี 2003 โอไรลี่) ฉันพบว่าผู้เขียนอ้างว่าเขาสามารถบรรลุประสิทธิภาพการเรียกซ้ำได้มากขึ้นโดยใช้การเรียกซ้ำหาง
คุณสามารถค้นหาคำกล่าวอ้างของเขาได้ที่หน้า 212 (ค้นหา 'tail recursion' ซึ่งควรเป็นผลลัพธ์ที่สอง) สิ่งที่ช่วยให้?