Dlaczego ten kod scala nie wnioskuje o typie?

Question

buduję ramy agregacji z kodem, który wygląda tak

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

    def show: K 
} 

mam kilka skupisk takich jak ta,

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

    def show = value 
} 

Raz zdefiniować agregację który jest podobny do tego,

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)) 
} 

Nie mogę napisać coś takiego

By("key1", Count(100)) 

Zamiast tego musiałem napisać ten

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

ponieważ jego nie zastanawianie się Long część, nienawidzę, aby określić te typy, czy jest bardziej przejrzysty sposób to osiągnąć?

Answer 1

Sztuczka Dowiedziałem:

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)) 
} 

with Aggregate[T,K] wyrafinowanie jakoś pomaga postać kompilatora out typów.

Answer 2

Proponuję użyć klas typu Monoid i Show. Możesz nawet użyć kociąt (przepraszam, nie mam wystarczającej liczby przedstawicieli, aby dodać kolejny link, po prostu Google "wyprowadzenie kotów scala"), aby automatycznie wyprowadzać instancje Monoid i Show dla klas spraw.