より上位の種類の継承を使用するにはどうすればよいですか？

Question

型パラメータを含むクラスに対して継承を使用しようとしていますが、scalaコンパイラが型を正しく継承できませんでした。

trait Printer[X] { 
    def pretty(src : X) : String 
} 

final case class Higher[P[_] <: Printer[_], X](printer : P[X]) { 
    def pass(arg : X) : String = { 
    val pr : Printer[X] = printer 
    pr.pretty(arg) 
    } 
} 

コンパイラの出力：正常にコンパイル型パラメータなしのクラスへ

InheritanceFailed.scala:23: error: type mismatch; 
found : P[X] 
required: test.failedinheritance.Inner.Printer[X] 

     val pr : Printer[X] = printer 
          ^
one error found 

反し：

trait Printer { 
    def pretty(src : Int) : String 
} 

final case class Higher[P <: Printer](printer : P) { 
    def pass(arg : Int) : String = { 
    val pr : Printer = printer 
    pr.pretty(arg) 
    } 
} 

は、コンパイラのapprehensible方法で、より高kinded例を宣言することは可能ですか？

Answer 1

PとPrinterの型パラメータが同じであることをコンパイラに伝えるには、ワイルドカードの代わりに名前を使用する必要があります。

trait Printer[X] { 
    def pretty(src : X) : String 
} 

final case class Higher[P[Y] <: Printer[Y], X](printer : P[X]) { 
    def pass(arg : X) : String = { 
    val pr : Printer[X] = printer 
    pr.pretty(arg) 
    } 
}