在Scala中，泛型类型参数可以与函数定义一起使用吗?

Question

是否存在允许函数字面量上的泛型类型参数的语法?我知道我可以把它包装在一个方法中，比如:

def createLongStringFunction[T](): (T) => Boolean = {
  (obj: T) => obj.toString.length > 7
}

，但是我最终需要为每个类型T调用该方法并获得一个新函数。我查看了语言参考，虽然我看到函数字面语法被编译器翻译为Functionn对象的实例，该对象本身具有泛型输入类型，但看起来编译器在创建时就神奇地实现了这些参数。实际上，我还没有发现任何语法允许我"不绑定Functionn的一个或多个类型参数"。我更喜欢这样的句子:

// doesn't compile
val longStringFunction: [T](T) => Boolean = (obj: T) => obj.toString.length > 7

这样的东西存在吗?或者就此而言，当被展开的方法具有泛型参数时，展开函数的显式类型是什么?

这是一个纯粹人为的和无用的例子。当然，我可以让函数在这里使用Any

Answer 1

不，类型参数只适用于方法而不适用于函数对象。例如,

def f[T](x: T) = x     //> f: [T](x: T)T
val g = f _            //> g: Nothing => Nothing = <function1>
// g(2)                // error
val h: Int=>Int = f _  //> h  : Int => Int = <function2>
h(2)                   //> res0: Int = 2

方法f不能转化为多态函数对象g。可以看到，g的推断类型实际上是Function1[Nothing, Nothing]，这是无用的。然而，通过类型提示，我们可以构造h: Function1[Int,Int]，它可以像Int参数那样工作。

Answer 2

正如您所说，在您的示例中，您所需要的只是toString方法，因此Any将是通常的解决方案。但是，在将类型构造函数(如List)应用于元组中的每个元素时，需要能够使用更高级别的类型。

正如其他答案所提到的，没有直接支持，但有一种相对较好的方式来编码它:

trait ~>[A[_],B[_]] {
  def apply[X](a : A[X]) : B[X]
}
type Id[A] = A //necessary hack
object newList extends (Id ~> List) {
  def apply[X](a : Id[X]) = List(a)
}
def tupleize[A,B, F[_]](f : Id ~> F, a : A, b : B) = (f(a), f(b))
tupleize(newList, 1, "Hello") // (List(1), List(Hello))

Answer 3

由于longStringFunction定义如下是一个值，它必须具有给定类型的某个。

val longStringFunction: (T) => Boolean = (obj: T) => obj.toString.length > 7

但是，您可以使用方法来重用函数对象:

scala> val funObj: Any => Boolean = _.toString.size > 7
funObj: Any => Boolean = <function1>
scala> def typedFunction[T]: T => Boolean = funObj
typedFunction: [T]=> T => Boolean
scala> val f1 = typedFunction[String]
f1: String => Boolean = <function1>
scala> val f2 = typedFunction[Int]
f2: Int => Boolean = <function1>
scala> f1 eq f2
res0: Boolean = true

这个工作是因为trait Function1[-T1, +R]是T1类型的逆变

Answer 4

在scala中，函数值是参数单态的(而方法是多态的)

Shapeless库引入了多态函数值，可以映射到HLists和许多其他特性。

请考虑以下参考:http://www.chuusai.com/2012/04/27/shapeless-polymorphic-function-values-1/http://www.chuusai.com/2012/05/10/shapeless-polymorphic-function-values-2/