Warum ist dieser Scala-Code nicht vom Typ abgeleitet?

Question

Ich baue eine Aggregation Rahmen mit einigem Code, wie dies

trait Aggregate[T <: Aggregate[T, K], K] { self: T => 
    def plus(another: T): T 

    def show: K 
} 

Ich Paar wie dies von Aggregationen haben aussieht,

case class Count(value: Long = 1) extends Aggregate[Count, Long] { 
    def plus(another: Count) = Count(value + another.value) 

    def show = value 
} 

Sobald ich eine Aggregation definieren, die so ist,

case class By[T <: Aggregate[T, K], K, G](values: HashMap[G, T]) extends Aggregate[By[T, K, G], Map[G, K]] { 
    override def plus(another: By[T, K, G]): By[T, K, G] = By(values.merged(another.values){case ((k1,v1), (k2,v2)) => (k1, v1 plus v2)}) 

    override def show: Map[G, K] = values.map{case (k,v) => k -> v.show} 
} 

object By { 
    def apply[T <: Aggregate[T,K], K, G](key:G, value:T):By[T, K, G] = By(HashMap(key -> value)) 
} 

Ich kann so etwas nicht schreiben

By("key1", Count(100)) 

Stattdessen hatte ich dieses den Long Teil herauszufinden

By[Count, Long, String]("key1", Count(100)) 

Seit seiner nicht zu schreiben, ich hasse diese Typen zu geben, gibt es eine sauberere Weg, das zu erreichen? Ich

Answer 1

Trick gelernt:

object By { 
    def apply[T <: Aggregate[T,K], K, G](key:G, value:T with Aggregate[T,K]):By[T, K, G] = By(HashMap(key -> value)) 
} 

Die with Aggregate[T,K] Verfeinerung hilft irgendwie die Compiler Figur aus den Typen.

Answer 2

Ich empfehle die Klassen Monoid und Show zu verwenden. Vielleicht möchten Sie sogar Kätzchen (Entschuldigung, haben nicht genug rep, um einen anderen Link hinzufügen, nur Google "scala Kätzchen Ableitung") automatisch die Monoid und Show Instanzen für Ihre Fall Klassen abzuleiten.