Các lựa chọn thay thế cho đa hình phụ trong scala là gì?

Question

Tôi muốn biết toàn bộ các lựa chọn thay thế cho đa hình phụ trong scala.

Answer 1

Các công cụ cơ bản để đạt được đa hình tĩnh-checkable trong Scala là

• subtyping (bog tiêu chuẩn OO polymorphism)
• Loại tham số hóa (cho phép sai đa hình và hạn chế)
• tự gõ (cho phép hạn chế và chuyên môn hóa đa hình OO)
• Chuyển đổi ngầm định (cho phép xây dựng đa hình sau thực tế)
• Kiểu kết cấu (cho phép nhiều -cấu xạ dựa trên tính năng, chứ không phải là loại)
• giới hạn loại chung (cho phép hạn chế cực kỳ chính xác trên đa hình cho phép)
• mẫu phù hợp (cho phép đa hình dựa trên cấu trúc dữ liệu, tương tự như các kiểu dữ liệu trừu tượng) các loại-kinded cao
• (cho phép đa hình trên các công trình đa hình)

Gọi tất cả các 'lựa chọn thay thế' này có lẽ là từ sai, vì chúng được tích hợp tốt. Nó không phải là không phổ biến đối với một số thuật toán đa hình được thể hiện bằng cách sử dụng một số các công cụ này kết hợp.

Nó cũng đáng chú ý là nơi hiểu thấu đáo trong đa hình Scala. Đối với sự hiểu biết không có vẻ đặc biệt đa hình. Bên dưới bề mặt, sự hiểu biết chỉ là đường cú pháp cho các cuộc gọi đến lọc/bản đồ/sơ đồ phẳng và việc triển khai các phương thức đó có xu hướng có tính đa hình cao. Vì vậy, những gì nhìn là tương đối đơn giản cho các vòng lặp có thể dẫn đến một số hiệu ứng đa hình thực sự ấn tượng.