Scala automatische Art Rückschluss in polymorphe Funktionen

Question

Wie kann ich das schaffen? Meine Aufgabe ist ein wenig komplizierter, aber es läuft darauf hinaus, diese nach unten:

object Z { 
    class B extends Function1[Int, Int] { 
    def apply(i: Int): Int = i 
    } 

    def compose[T <: Function1[X, X], X](fcts: List[T]): Function1[X, X] = { 
    fcts.reduce(_ andThen _) 
    } 

    def test() = { 
    val fcts = List.empty[B] 

    // Unspecified type parameter X 
    val composed: Function1[Int, Int] = compose[B](fcts) 
    } 
} 

Ich weiß nicht, wie die „komponiert“ Funktion definieren zu können, einige konkrete Klasse B empfangen und automatisch schließen, die abhängige Typen X

Answer 1

Der Scala-Compiler funktioniert nicht gut, wenn Sie versuchen, auf mehrere Ebenen von Typparametern, wie Sie sie haben, zu schließen. Stattdessen wäre es einfacher, T <: Function1[X, X] zu entfernen und einfach einen einzelnen Typparameter zu benötigen, der das Argument und den Rückgabetyp des Function1 darstellt.

def compose[A](fcts: List[Function1[A, A]]): Function1[A, A] = { 
    fcts.reduce(_ andThen _) 
} 

Der Compiler wird eine viel einfachere Zeit einfach haben A Folgern, statt, was mit T und X, um herauszufinden, sind, wenn XT Teil Typ ist.

val a: Int => Int = _ + 10 
val b: Int => Int = _ * 2 
val c: Int => Int = _ - 3 

scala> val f = compose(List(a, b, c)) 
f: Int => Int = scala.Function1$$Lambda$1187/930987088@531ec2ca 

scala> f(2) 
res1: Int = 21 

Beachten Sie, dass reduce eine Ausnahme für eine leere Liste von Funktionen werfen.