支持隐式“a la Scala”的其他编程语言也可以。

Question

Scala 隐式函数非常强大。我很好奇它们是否是 Scala 的新/独特功能，或者其他编程语言中已经存在的概念。

谢谢。

编辑：

为了澄清我的问题，是的，我正在谈论这个具体的实现。起初，到处都是“隐式事物”似乎很奇怪，但使用了一段时间并看到其他人如何使用它后，我对其效果印象深刻。

Answer 1

看起来灵感来自 Haskell 的类型类。至少一篇博客文章声称隐含有它们起源于 Haskell 类型类；该文章引用了 Martin Odersky 于 2006 年发表的论文，题为 Poor Man's Type Classes 。 Daniel Sobral 最近写了一篇关于如何模拟类型类的文章与隐式。

Answer 2

2000 年，《编程语言原理》(POPL) 上有一篇非常好的论文，其中介绍了 隐式参数。它们已在 Haskell 中实现。我确信 Scala 的设计师 Martin Odersky 知道这项工作。 （Martin 是 POPL 的经常参与者和贡献者，受到欢迎。）

Answer 3

如果我从 http://patricklogan.blogspot.com/2007/ 正确理解隐式06/scala-implicits.html 那么是的，有几种语言支持它。

最好的例子是 C# 扩展方法。我最近使用它们的一个例子：

我经常不得不在两个点之间进行距离计算。 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

另一个参考：“将类作为对象和隐式类型” (2010 ），作者：Bruno C. d. S.奥利维拉、阿德​​里安·摩尔斯和马丁·奥德斯基。

通过此推文和转发推文。

Answer 5

这取决于您想要将“支持隐式”一词延伸到多广的范围。 Scala 中隐式的一个令人信服的原因是本质上是向现有类（您无权访问）添加方法。这在其他语言中可以通过不同的构造实现：例如，Smalltalk、Ruby 和 Objective-C 都支持向您无法控制的类添加方法。

Answer 6

尽管不像 Scala 隐式那么强大，C++ 已经有了转换运算符和复制构造函数，它们都可以导致隐式类型转换。与定义二元运算符的能力（Scala 不允许的）相结合，这提供了 Scala 隐式的一些功能。