Các ngôn ngữ lập trình khác có hỗ trợ implicits "a la Scala"

Question

Scala implicits rất mạnh mẽ. Tôi tò mò nếu họ là một tính năng mới/độc đáo của Scala, hoặc khái niệm đã tồn tại trong các ngôn ngữ lập trình khác.

Cảm ơn.

EDIT:

Để làm rõ câu hỏi của tôi, vâng, tôi đang nói về thực hiện cụ thể này. Có "những điều ngầm" xung quanh dường như kỳ lạ lúc đầu, nhưng đã sử dụng nó trong một thời gian và nhìn thấy cách người khác sử dụng nó, tôi ấn tượng bởi nó hoạt động tốt như thế nào.

Answer 1

Hình như là nguồn cảm hứng là các lớp học kiểu Haskell. Ít nhất một bài viết trên blog tuyên bố rằng implicits have their origin in Haskell type classes; bài viết đề cập đến một bài báo năm 2006 của Martin Odersky, Poor Man's Type Classes. Và Daniel Sobral đã viết một bài báo gần đây về cách simulate type classes with implicits.

Answer 2

Nó phụ thuộc vào mức độ bạn muốn kéo dài cụm từ "hỗ trợ implicits". Một trong những lý do thuyết phục cho implicits trong Scala là về cơ bản thêm các phương thức vào một lớp đang tồn tại (mà bạn không có quyền truy cập). Điều này có thể có trong các ngôn ngữ khác thông qua các cấu trúc khác nhau: ví dụ, Smalltalk, Ruby, và Objective-C đều hỗ trợ thêm các phương thức vào các lớp bạn không kiểm soát.

Answer 3

Nếu tôi hiểu chính xác các thông tin từ http://patricklogan.blogspot.com/2007/06/scala-implicits.html thì có, có một số ngôn ngữ hỗ trợ nó.

Ví dụ tốt nhất là C# Phương pháp mở rộng. Một ví dụ gần đây nơi tôi đã sử dụng chúng:

Tôi thường phải tính toán khoảng cách giữa hai số Point s. Một Point không có phương pháp để tính toán khoảng cách đến điểm khác vì vậy tôi thêm đoạn mã sau vào dự án của tôi:

class MyPointExtension 
{ 
    public static Double GetDistance(this Point p1, Point p2) 
    { 
    return /* the pythagoras code */ 
    } 
} 

tôi có thể sau đó làm:

Point unitPosition = new Point(x,y); 
Point target = new Point(x2,y2); 
Double distance = unitPosition.GetDistance(target); 

Answer 4

Mặc dù không mạnh bằng Scala có nghĩa là C++ đã có các toán tử chuyển đổi và các nhà xây dựng sao chép có thể dẫn đến chuyển đổi loại tiềm ẩn. Kết hợp với khả năng xác định các toán tử nhị phân (một cái gì đó mà Scala không cho phép), điều này mang lại một số sức mạnh của Scala implicits.

Answer 5

Có một bài báo thực sự hay ở các Nguyên tắc Lập trình Lanages (POPL) vào năm 2000, giới thiệu implicit parameters. Chúng đã được triển khai trong Haskell. Tôi chắc chắn Martin Odersky, nhà thiết kế của Scala, đã nhận thức được công việc này. (Martin là người tham gia thường xuyên và hoan nghênh và đóng góp cho POPL.)

Answer 6

Tham chiếu khác: "Type Classes as Objects and Implicits" (2010), bởi Bruno C. d. S. Oliveira, Adriaan Moors và Martin Odersky.

Thông qua số tweet và re-tweet này.