T [A <: C [U], B <: C [U], U] T [A, B] olarak kullanılabilecek genel bir tip oluşturmak mümkün mü?

Question

Ben şu durum sınıfı:

type Area[T] = Length[T] <*> Length[T] 

Ancak, ben <*> üç parametre bekler ve sadece verdik belirten bir hata alıyorum:

case class <*>[Q <: Quantity[T], R <: Quantity[T], T](value: T) 
    extends Quantity[T] 

ben bu şekilde kullanmak istiyorum iki. Ben böyle çalışmak istiyorum:

type Area[T] = <*>[Length[T], Length[T], T] 

Denedim aşağıdaki fakat bana bir hata verdi:

trait Quantity[T] { 
    type Value = T 

    def value: T 
} 

case class <*>[Q <: Quantity[_], 
       R <: Quantity[_]](value: Q#Value) 
           (implicit eq: Q#Value =:= R#Value) 
    extends Quantity[Q#Value] 

Error:(13, 110) illegal inheritance;
self-type <*>[Q,R] does not conform to Quantity[_$1] 's selftype Quantity[_$1]

case class <*>[Q <: Quantity[_], 
       R <: Quantity[_]](value: Q#Value) 
           (implicit eq: Q#Value =:= R#Value) 
    extends Quantity[Q#Value] 
^

bir çözüm bunun için var mı? Gerekirse, iyi infix sözdizimini istememe rağmen vaka sınıflarını yeniden adlandırmaya gerek yok.

Answer 1

Sorun, Q#Value referansıdır.

Ben senin tipin kısıtlamaları uygulamak için örtük kullanarak yerine existentials çalışması yapmaya çalışıyorum öneririm:

sealed trait CanStar[Q, R] 
// could include =:=-like values in CanStar if you like 
object CanStar { 
    implicit def canStar[Q <: Quantity[T], R <: Quantity[T], T] = 
    new CanStar[Q, R]{} 
} 

sealed case class <*>[Q,R](value: Q)(implicit cs: CanStar[Q, R]) 

Sonra <*> istediğiniz gibi iki parametre türüdür, ancak sadece şimdiye kadar Q <*> R örnek oluşturabilirsiniz Uygun bir şekilde ilişkili olan Q ve R sayılı belgelerde belirtildiği gibi (dolayısı ile CanStar[Q, R] s için uygun Q ve R mevcuttur).