将部分类型参数列表推断为泛型值参数

Question

为什么 Scala 不能这样推断？

def notInfering[A,B,C](aa: A=>Boolean, bbcc: Tuple2[B,C]) = bbcc
notInfering[Int]((_ > 3), ("string", 123))

编译器生气地说我需要指定类型参数 B 和 C。

这些有效，但并不理想：

notInfering[Int,String,Int]((_ > 2), ("string", 123))
notInfering(((a: Int) => a > 2), ("string", 123))

理论上，Scala 不应该能够推断出最后两个参数吗？这可以用另一种方式来完成或表达吗？如果不是，这对 Scala 来说是一个能够推断部分类型参数列表的好特性吗？

Answer 1

理论上，一种语言可以实现所描述的功能。只是 Scala 目前没有。

首先，您所描述的根本不是 Scala 语法的一部分。在指定类型参数时，它是一种全有或全无的语法。您要么需要所有类型参数，要么让编译器推断它们。

其次，请记住类型推断并不完美。在很多情况下，可以手动推断类型参数，但编译器无法识别。 Scala 编译器在类型消歧和推导方面令人印象深刻，但这并不神奇！

最后，这可以使用带有中间闭包 class（可以是匿名 class）的 Scala 来表达，它包含第一个类型参数：

object Foo {
    def inferring[A](aa: A => Boolean) = new {
        def apply[B, C](bbcc: (B, C)) = bbcc
    }
}

然后你可以做：

Foo.inferring[Int](_ > 3)("string" -> 123)

随意。

Inferring partial type parameter list to generic value parameter