可以在Scala中写下依赖函数类型吗？

给定

是否有合法的方法编写类似于

f:（x:Foo）=>x.Bar

的内容，以便函数的返回类型取决于参数？使用的一个例子是

trait Foo {
  type Bar
}

---

Scala不像Haskell那样具有多态函数。函数类型总是具体的。只有方法可以是多态的。不幸的是，这意味着您假设的类型

（x:Foo）=>x.Bar

在Scala中无法表达

将泛型方法转换为函数时，这一点变得很明显：所有类型信息都将丢失：

def compareOutput(x1: Foo, x2: Foo)(f: (x: Foo) => x.Bar /* illegal */)(comparer: (x1.Bar, x2.Bar) => Boolean) = {
  val y1 = f(x1)
  val y2 = f(x2)
  comparer(y1, y2)
}

---

然后，您可以创建FooFunc的实例，并将其传递到

compareOutput

方法中。

Scala 3预计将于今年（2020年）发布。它将具有（实际上已经具有）依赖函数类型，如“Dotty”文档中所述：

---

例如，请参见。我认为这与此无关。他希望能够定义一个函数类型（而不仅仅是定义一个方法），其中返回类型取决于参数值。我相信这目前是不可能的。即使您设法定义了一个符合OP意图的类型，我也不认为您能够将方法作为参数

f

传递，因为eta扩展不支持依赖的方法类型。看见这将迫使以一种相当尴尬的方式定义那些“依赖函数”，比如扩展一个定制特征&实现它的

apply

method@R艾吉斯：你说得对——我可能读得太快了。您所描述的可以使用Shapeless的多态函数值完成，但不能使用普通的Scala函数。

scala> def foo[Bar](x: Bar): Bar = ???
foo: [Bar](x: Bar)Bar

scala> foo _
res1: Nothing => Nothing = <function1>

scala> def foo(x: Foo): x.Bar = ???
foo: (x: Foo)x.Bar

scala> foo _
<console>:10 error: method with dependent type (x: Foo)x.Bar cannot be converted 
                    to function value.

trait FooFunc {
  def apply(x: Foo): x.Bar
}

def compareOutput(x1: Foo, x2: Foo)(f: FooFunc)(comparer: ...) = {
  val y1 = f(x1)
  val y2 = f(x2)
  comparer(y1,y2)
}