function – 如何在Scala中将类型参数化参数专门化为多个不同类

在一篇文章(http://www.win-vector.com/blog/2010/06/automatic-differentiation-with-scala/)中我写道,我说我对Scala的信念是你不能指定一个带有参数的函数,该参数本身就是一个带有未绑定类型参数的函数.我已编辑此问题以尝试简化示例.

下面的代码通过引入模仿Scala Function1特征的特征GenericFn来工作,除了它在函数中有一个free-type参数：

object TypeExample {
    trait NumberBase {
        def result:String
    }

    class A extends NumberBase {
        def result = "A"
    }

    class B extends NumberBase {
        def result = "B"
    }

    trait GenericFn {
        def apply[X<:NumberBase](x:X):String
    }

    def specializeAndApplyTwice(f:GenericFn):String = {
        f[A](new A()) + f[B](new B())
    }

    def main(args : Array[String]) : Unit = {
        val f = new GenericFn {
            def apply[X<:NumberBase](x:X):String = { x.result }
        }
        println(specializeAndApplyTwice(f))
    }
}

这有效,但有没有一种方法可以在没有GenericFn特征的情况下执行此操作(使用标准函数表示法)？例如,下面的代码失败并出现编译时错误：“type mismatch; found：TypeExample2.A required：_ $1 where type _ $1<：TypeExample2.NumberBase”：

def specializeAndApplyTwice(f:(_<:NumberBase)=>String):String = {
   f(new A()) + f(new B())
}