Lý do loại bỏ các loại hàm trong Java 8

Tôi đã cố gắng hiểu lý do tại sao Nhóm chuyên gia JDK 8 Lambda (EG) quyết định không đưa một loại hàm mới vào ngôn ngữ lập trình Java.

Đi qua danh sách gửi thư tôi tìm thấy một chủ đề với cuộc thảo luận về việc loại bỏ các loại chức năng .

Nhiều tuyên bố không rõ ràng đối với tôi, có thể do thiếu bối cảnh và trong một số trường hợp do kiến ​​thức hạn chế của tôi về việc triển khai các hệ thống loại.

Tuy nhiên, có một vài câu hỏi mà tôi tin rằng tôi có thể xây dựng một cách an toàn trong trang web này để giúp tôi hiểu rõ hơn về ý nghĩa của chúng.

_{Tôi biết tôi có thể đặt câu hỏi trong danh sách gửi thư, nhưng chủ đề đã cũ và tất cả các quyết định đã được đưa ra, vì vậy rất có thể tôi sẽ bị bỏ qua, trên hết là thấy những kẻ này đã bị trì hoãn với kế hoạch của họ.}

Trong câu trả lời của mình để hỗ trợ loại bỏ các loại chức năng và chứng thực việc sử dụng các loại SAM, Brian Goetz nói:

Không thống nhất. Có một chủ đề dài về mức độ hữu ích của các loại chức năng được thống nhất. Không có sự thống nhất, các loại chức năng bị rối loạn.

Tôi không thể tìm thấy chủ đề mà anh ấy đề cập. Bây giờ, tôi có thể hiểu rằng việc giới thiệu một loại hàm cấu trúc có thể ngụ ý một số biến chứng nhất định trong hệ thống loại chủ yếu là danh nghĩa của Java, điều tôi không thể hiểu là các loại SAM được tham số hóa khác nhau như thế nào về mặt thống nhất.

Cả hai đều không phải chịu cùng một vấn đề thống nhất? Có ai hiểu làm thế nào các loại chức năng khác với các loại SAM tham số hóa về mặt thống nhất?

Trong một bình luận khác, Goetz nói:

Có hai cách tiếp cận cơ bản để gõ: danh nghĩa và cấu trúc. Danh tính của một danh nghĩa được dựa trên tên của nó; nhận dạng của một loại cấu trúc dựa trên những gì nó được cấu thành (chẳng hạn như "tuple của int, int" hoặc "hàm từ int đến float".) Hầu hết các ngôn ngữ chọn chủ yếu là danh nghĩa hoặc chủ yếu là cấu trúc; không có nhiều ngôn ngữ kết hợp thành công kiểu gõ danh nghĩa và cấu trúc ngoại trừ "xung quanh các cạnh". Java gần như hoàn toàn trên danh nghĩa (với một vài ngoại lệ: mảng là một kiểu cấu trúc, nhưng ở phía dưới luôn có một kiểu phần tử danh nghĩa; các tổng quát cũng có sự pha trộn giữa danh nghĩa và cấu trúc, và thực tế đây là một phần của nguồn gốc của nhiều về những phàn nàn của mọi người về thuốc generic.) Ghép một hệ thống kiểu cấu trúc (kiểu hàm) lên Java ' s hệ thống danh nghĩa có nghĩa là phức tạp mới và trường hợp cạnh. Là lợi ích của các loại chức năng có giá trị này?

Những bạn có kinh nghiệm trong việc thực hiện các hệ thống loại. Bạn có biết bất kỳ ví dụ về những sự phức tạp hoặc trường hợp cạnh mà anh ấy đề cập ở đây không?

Thành thật tôi bị lẫn lộn bởi những cáo buộc này khi tôi nghĩ rằng một ngôn ngữ lập trình như Scala, hoàn toàn dựa trên JVM, có hỗ trợ cho các kiểu cấu trúc như các hàm và bộ dữ liệu, ngay cả với các vấn đề thống nhất của nền tảng cơ bản.

Đừng hiểu sai ý tôi, tôi không nói rằng một loại chức năng nên tốt hơn các loại SAM. Tôi chỉ muốn hiểu tại sao họ đưa ra quyết định này.

Cách tiếp cận SAM thực sự hơi giống với cách Scala (và C ++ 11) thực hiện với các hàm ẩn danh (được tạo bằng =>toán tử của Scala hoặc C ++ 11[]() cú pháp (lambda)).

Câu hỏi đầu tiên để trả lời ở phía Java là liệu có kiểu trả về của một tuyên bố lambda là một loại primitve mới, như inthay byte, hoặc một loại đối tượng của một số loại. Trong Scala, có là không có loại nguyên thủy - thậm chí một số nguyên là một đối tượng của lớp Int- và chức năng cũng không khác, là đối tượng của lớp Function1,Function2 và vân vân, tùy thuộc vào số lượng các đối số chức năng mất.

C ++ 11, ruby ​​và python tương tự có các biểu thức lambda trả về một đối tượng có thể gọi được theo cách rõ ràng hoặc ẩn. Đối tượng được trả về có một số phương thức tiêu chuẩn (chẳng hạn như #callcó thể được sử dụng để gọi nó là một hàm. C ++ 11, ví dụ, sử dụng một std::functionkiểu quá tải operator()để các cuộc gọi của phương thức gọi của đối tượng thậm chí trông giống như các cuộc gọi hàm, theo văn bản. :-)

Trường hợp đề xuất mới cho Java trở nên lộn xộn là việc sử dụng kiểu gõ cấu trúc để cho phép gán một phương thức như vậy cho một đối tượng khác, chẳng hạn như một Comparatorphương thức có một phương thức chính duy nhất có tên khác . Mặc dù điều này về mặt khái niệm là khó hiểu, nhưng điều đó có nghĩa là đối tượng kết quả có thể được chuyển đến các hàm hiện có để lấy một đối tượng để biểu diễn một cuộc gọi lại, một bộ so sánh, v.v. và mong đợi có thể gọi một đơn được xác định rõ phương pháp như #comparehoặc#callback . Thủ thuật ghi đè operator()gọn gàng của C ++ đã tránh được vấn đề này ngay cả trước C ++ 11, vì tất cả các tùy chọn gọi lại như vậy đều có thể gọi theo cùng một cách, và do đó STL không yêu cầu điều chỉnh để cho phép sử dụng lambd C ++ 11sortvà như thế. Java, trước đây không sử dụng cách đặt tên tiêu chuẩn cho các đối tượng như vậy (có lẽ vì không có mánh khóe nào như quá tải toán tử làm cho một cách tiếp cận rõ ràng), nên không may mắn, vì vậy, việc hack này ngăn chúng khỏi phải thay đổi toàn bộ API hiện có .