Từ những gì tôi đã đọc: Lý do là vì không dễ để xác định phương thức nào sẽ thực sự được gọi là chúng ta có sự kế thừa.
Tuy nhiên, tại sao Java ít nhất không có tối ưu hóa đệ quy đuôi cho các phương thức tĩnh và thực thi cách thức phù hợp để gọi các phương thức tĩnh với trình biên dịch?
Tại sao Java không có bất kỳ sự hỗ trợ nào cho đệ quy đuôi?
Tôi không chắc chắn nếu có bất kỳ khó khăn ở đây.
Về bản sao được đề xuất , như được giải thích bởi Jörg W Mittag 1 :
- Câu hỏi khác hỏi về TCO, câu hỏi này về TRE. TRE đơn giản hơn nhiều so với TCO.
- Ngoài ra, câu hỏi khác hỏi về những hạn chế mà JVM áp đặt đối với việc triển khai ngôn ngữ muốn biên dịch sang JVM, câu hỏi này hỏi về Java, đây là ngôn ngữ không bị hạn chế bởi JVM, vì thông số JVM có thể được thay đổi bởi Những người cùng thiết kế Java.
- Và cuối cùng, thậm chí không có hạn chế nào trong JVM về TRE, bởi vì JVM không có GOTO nội bộ, đó là tất cả những gì cần thiết cho TRE
1 Định dạng được thêm vào để gọi ra các điểm được thực hiện.