与函数类型Scala的类型推断

考虑下面的代码：（见下文，需要解决的实际代码）与函数类型Scala的类型推断

def applyAll[T,S, U <: Seq[T => S]](l : U, x: T) = l.map(f => f(x)) 
val u = List((i: Int) => i + 1, (i: Int) => i + 2) 
println(applyAll(u,1))

（给出的T => S一个Seq和价值，我们期望得到funtions应用于此值）。

虽然applyAll编译罚款，称这是对u提供了以下错误：

Error:(35, 13) inferred type arguments [Int,Nothing,List[Int => Int]] do not conform to method applyAll's type parameter bounds [T,S,U <: Seq[T => S]] 
println(applyAll(u,1)) 
     ^

这表明编译器无法推断出类型参数S，我猜是因为它是“套'在函数类型T => S内。

编辑：

我试图解决实际的代码相似（虽然复杂），并不能除去在U参数是固定的。在这里：

def applyNatural[T, S, Repr <: TraversableLike[T => S, Repr], That] 
(data: T, jobs: Repr) 
(implicit bf: CanBuildFrom[Repr, S, That]): That = { 
    jobs.map(f => f(data)) 
} 
val u = List((i: Int) => i + 1, (i: Int) => i + 2) 
val v = applyNatural(1, u) 
println(v)

来源

2016-03-03 Ulysse Mizrahi

我看到两个问题编辑代码：首先，再版是循环。要解决Repr，你必须查找Repr。其次，没有建立。 –

你究竟想要做什么？ –

我正在创建一个函数，它可以将一个函数集合应用到一个值，并返回一个相同类型的值的集合。 –

您可以Repr更高kinded型，使jobs参数有型Repr[T => S]：

def applyNatural[T, S, Repr[A] <: TraversableLike[A, Repr[A]], That] 
    (data: T, jobs: Repr[T => S]) 
    (implicit bf: CanBuildFrom[Repr[T => S], S, That] 
): That = { 
    jobs.map(f => f(data)) 
}

来源

2016-03-03 15:55:51 Kolmar

这很有效！我还用def applyNatural [T，S，U <：Traversable [T => S]，That]（data：T，jobs：Traversable [T => S，U]）来管理（隐式bf：CanBuildFrom [U，S ，那个那个 ;但你的解决方案更好 –

U是根本没用的。只要写

def applyAll[T,S](l : Seq[T => S], x: T) = l.map(f => f(x)) 
    val u = List((i: Int) => i + 1, (i: Int) => i + 2) 
    println(applyAll(u,1))

来源

2016-03-03 11:38:53

谢谢，它适用于给定的代码，虽然它不能解决我实际试图解决的问题（我简化了一下） - 我用我的实际问题更新了问题 –

与函数类型Scala的类型推断

回答

相关问题