其他支持蘊含「a la Scala」的編程語言

Question

Scala蘊涵是非常強大的。我很好奇它們是否是Scala的新特性，或者這個概念在其他編程語言中已經存在。

謝謝。

編輯：

爲了澄清我的問題，是的，我說的這個具體實施。一開始就有「隱含的東西」似乎很奇怪，但已經使用了一段時間，看到別人如何使用它，我對它的工作效果印象深刻。

Answer 1

貌似靈感來自於Haskell的類型類。至少有一篇博客文章稱implicits have their origin in Haskell type classes;該文章引用Martin Odersky於2006年發表的題爲Poor Man's Type Classes的論文。 Daniel Sobral寫了一篇關於如何simulate type classes with implicits的文章。

Answer 2

這取決於您希望展開「支持隱含」這個短語的廣泛程度。在Scala中隱含的一個令人信服的原因是從本質上將方法添加到現有類（您無法訪問）。在其他語言中，這可以通過不同的構造來實現：例如，Smalltalk，Ruby和Objective-C都支持向不控制的類中添加方法。

Answer 3

如果我從http://patricklogan.blogspot.com/2007/06/scala-implicits.html正確理解隱含，那麼是的，有幾種語言支持它。

最好的例子是C＃擴展方法。我最近使用它們的一個例子：

我經常需要做兩個Point之間的距離計算。一個Point有沒有一種方法來計算到另一點的距離，所以我下面的代碼添加到我的項目：

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

然後我可以這樣做：

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

Answer 4

雖然沒有Scala那麼強大，但C++已經有了轉換運算符和複製構造函數，可能會導致隱式類型轉換。結合定義二元運算符（Scala不允許的東西）的能力，這提供了Scala蘊含的一些權力。

Answer 5

2000年編程語言程序（POPL）有一篇非常好的論文，其中介紹了implicit parameters。他們已經在Haskell中實現。我確信斯卡拉的設計師Martin Odersky意識到這項工作。 （Martin是POPL的常客和歡迎參與者和貢獻者）。

Answer 6

另一參考文獻："Type Classes as Objects and Implicits"（2010），by Bruno C. d。 S. Oliveira，Adriaan Moors和Martin Odersky。通過tweet和re-tweet。