Scala là ngôn ngữ cho lập trình chung

Trong bài báo Một nghiên cứu so sánh mở rộng về hỗ trợ ngôn ngữ cho lập trình chung, của Garcia et al. một so sánh thú vị về các tính năng ngôn ngữ lập trình cho lập trình chung được đưa ra:

nhập mô tả hình ảnh ở đây

với lời giải thích ngắn gọn về thuật ngữ:

nhập mô tả hình ảnh ở đây

Bất cứ ai cũng có thể kiểm tra hỗ trợ Scala cho lập trình chung trong khung này? Tức là thêm một cột trong bảng đầu tiên với lời giải thích nếu có thể.

scala comparison generics

— Nữ hoàng Pelenitsyn
nguồn

Đăng lại trên Khoa học máy tính . Xin đừng làm vậy. Nếu bạn muốn chuyển câu hỏi của mình sang một trang web khác mà bạn cảm thấy phù hợp hơn, hãy gắn cờ cho sự chú ý của người điều hành và yêu cầu di chuyển.

— Gilles 'SO- ngừng trở nên xấu xa'

Câu trả lời chính xác được đưa ra trên p. 17 trong số các loại Loại là Đối tượng và Ý nghĩa của Công ty Oliveira và cộng sự.

— Artem Pelenitsyn

Tài liệu tham khảo đến từ Twitter sau khi liên kết đến câu hỏi beta CS.SE bị lừa ở đó. Cảm ơn Miles Sabin (@milessabin trên Twitter) và Alexey Romanov.

— Artem Pelenitsyn

Hãy nhìn vào dặm Sabins thư viện hình thù và động lực của mình đằng sau te lib. Tôi nghĩ rằng tham khảo một số giấy tờ

— AndreasScheinert

Như đã đề cập trong một trong những ý kiến từ OP, đây là bảng giải thích cách Scala so sánh với hỗ trợ lập trình chung. Liên kết với nguồn pdf

bảng với Scala được liệt kê

Sau đó, bản tóm tắt sau đây được cung cấp:

Scala
Sử dụng mẫu CONCEPT, chúng ta có thể mô hình hóa các khái niệm nhiều loại, nhiều ràng buộc và hỗ trợ mô hình hồi tố. Hơn nữa, sự hỗ trợ của Scala cho các ẩn ý có nghĩa là những hạn chế của các giải pháp Java và C # về mặt chi phí bổ sung, không áp dụng cho Scala. Do đó, Scala đạt điểm cao trong cả suy luận đối số ngầm và tiêu chí mô hình hồi tố. Phần 6 cho thấy các loại liên quan được hỗ trợ trong Scala thông qua các loại thành viên và loại phương thức phụ thuộc và các thành viên loại cũng có thể được sử dụng làm bí danh loại.
Như được hiển thị trong Phần 3, Scala hỗ trợ các mô hình phạm vi từ vựng. Hơn nữa kiểm tra loại là mô-đun đầy đủ. Các ẩn ý chồng chéo được ưu tiên cung cấp một số hỗ trợ cho quá tải dựa trên khái niệm như được minh họa bởi zipWithNví dụ trong Mục 6.5. Tuy nhiên, các mô hình chồng chéo phải được cấu trúc bằng cách sử dụng phân cấp phân nhóm, có thể không phải lúc nào cũng được mong muốn. Vì vậy, điểm cho tính năng này là đủ. Cuối cùng, Scala có hỗ trợ đầy đủ cho các chức năng hạng nhất và nó cũng hỗ trợ các ràng buộc bình đẳng.
Tóm lại, Scala hóa ra là một ngôn ngữ hỗ trợ tuyệt vời cho các tính năng lập trình chung, quản lý giá vé ở cùng cấp độ hoặc thậm chí tốt hơn một chút so với G (được thiết kế đặc biệt như một ngôn ngữ để lập trình chung trong quy mô lớn) hoặc Haskell ( đã được công nhận có hỗ trợ rất tốt cho lập trình chung).

Và sau đó trong bản tóm tắt:

Loại thành viên và loại phương thức phụ thuộc thêm sức mạnh cho ngôn ngữ và sự kết hợp của hai cơ chế cho phép các loại liên quan được thể hiện. Kết hợp với ẩn ý, loại thành viên và loại phương thức phụ thuộc làm cho Scala trở thành ngôn ngữ sẵn sàng cho lập trình chung

— cộng đồng
nguồn