Tôi đã thấy câu trích dẫn này về câu hỏi: Ngôn ngữ chức năng tốt để xây dựng dịch vụ web là gì?
Đặc biệt, Scala không hỗ trợ loại bỏ lệnh gọi đuôi ngoại trừ trong các hàm tự đệ quy, điều này giới hạn các loại thành phần bạn có thể thực hiện (đây là hạn chế cơ bản của JVM).
Điều này có đúng không? Nếu vậy, điều gì ở JVM đã tạo ra hạn chế cơ bản này?
Câu trả lời:
Bài đăng này: Đệ quy hay Lặp lại? có thể giúp.
Nói tóm lại, việc tối ưu hóa cuộc gọi đuôi là khó thực hiện trong JVM vì mô hình bảo mật và nhu cầu luôn có sẵn dấu vết ngăn xếp. Những yêu cầu này về lý thuyết có thể được hỗ trợ, nhưng nó có thể sẽ yêu cầu một mã bytecode mới (xem đề xuất không chính thức của John Rose ).
Cũng có nhiều cuộc thảo luận hơn trong Sun bug # 4726340 , nơi kết thúc đánh giá (từ năm 2002):
Tôi tin rằng điều này có thể được thực hiện, nhưng nó không phải là một nhiệm vụ nhỏ.
Hiện tại, có một số công việc đang diễn ra trong dự án Da Vinci Machine . Trạng thái của tiểu dự án cuộc gọi đuôi được liệt kê là "proto 80%"; nó không có khả năng đưa nó vào Java 7, nhưng tôi nghĩ nó có cơ hội rất tốt ở Java 8.
Hạn chế cơ bản đơn giản là JVM không cung cấp các lệnh gọi đuôi trong mã byte của nó và do đó, không có cách nào trực tiếp để một ngôn ngữ được xây dựng dựa trên JVM tự cung cấp các lệnh gọi đuôi. Có những cách giải quyết có thể đạt được hiệu quả tương tự (ví dụ: trampolining) nhưng chúng phải trả giá bằng hiệu suất khủng khiếp và làm xáo trộn mã trung gian được tạo ra khiến trình gỡ lỗi trở nên vô dụng.
Vì vậy, JVM không thể hỗ trợ bất kỳ ngôn ngữ lập trình chức năng chất lượng sản xuất nào cho đến khi Sun thực hiện các lệnh gọi đuôi trong chính JVM. Họ đã thảo luận về nó trong nhiều năm nhưng tôi nghi ngờ họ sẽ bao giờ thực hiện các lệnh gọi đuôi: sẽ rất khó khăn vì họ đã tối ưu hóa quá sớm máy ảo của mình trước khi triển khai chức năng cơ bản như vậy và nỗ lực của Sun tập trung mạnh vào các ngôn ngữ động hơn là các ngôn ngữ chức năng.
Do đó, có một lập luận rất mạnh mẽ rằng Scala không phải là một ngôn ngữ lập trình chức năng thực sự: các ngôn ngữ này đã coi các lệnh gọi đuôi là một tính năng thiết yếu kể từ khi Scheme lần đầu tiên được giới thiệu cách đây hơn 30 năm.
Hence there is a very strong argument that Scala is not a real functional programming language - lập luận thực sự khá yếu. Chắc chắn là như vậy tail calls [as] an essential feature, và thật tuyệt nếu phần cứng bên dưới (hoặc máy ảo) hỗ trợ trực tiếp. Nhưng đó là chi tiết thực hiện.
Scala 2.7.x hỗ trợ tối ưu hóa cuộc gọi đuôi để tự đệ quy (một hàm gọi chính nó) của các phương thức cuối cùng và các hàm cục bộ.
Scala 2.8 cũng có thể đi kèm với hỗ trợ thư viện cho tấm bạt lò xo, đây là một kỹ thuật để tối ưu hóa các hàm đệ quy lẫn nhau.
Bạn có thể tìm thấy nhiều thông tin về trạng thái của đệ quy Scala trong blog của Rich Dougherty .
Ngoài bài báo được liên kết trong Lambda The Ultimate (từ liên kết mmyers được đăng ở trên), John Rose từ Sun có một số điều khác để nói về tối ưu hóa cuộc gọi đuôi.
http://blogs.oracle.com/jrose/entry/tail_calls_in_the_vm
Tôi đã nghe nói rằng nó có thể được triển khai trên JVM vào một ngày nào đó. Hỗ trợ cuộc gọi đuôi trong số những thứ khác đang được xem xét trên Máy Da Vinci.
Tất cả các nguồn đều chỉ ra rằng JVM không thể tối ưu hóa trong trường hợp đệ quy đuôi, nhưng khi đọc phần điều chỉnh hiệu suất Java (2003, O’reilly), tôi thấy tác giả tuyên bố rằng anh ta có thể đạt được hiệu suất đệ quy lớn hơn bằng cách triển khai đệ quy đuôi.
Bạn có thể tìm thấy tuyên bố của anh ấy trên trang 212 (tìm kiếm 'đệ quy đuôi' nó sẽ là kết quả thứ hai). Đưa cái gì?