`this.type`でパラメータ化されたスカラ抽象型

Question

ScriptとScriptTypeのクラスを作成しようとしています。 ScriptTypeは、特定の抽象タイプのScriptを生成します。 Scriptは、それらを作成したScritpTypeによってパラメータ化されます。

trait Script[Type <: ScriptType] 

sealed trait ScriptType { 
    type S <: Script[this.type] 
} 

object ScriptType { 
    class Scala extends ScriptType { 
    type S = ScalaScript 
    } 
} 

import ScriptType._ 

case class ScalaScript(source: String) extends Script[Scala] 

が、イムは、この例では

Error:(10, 10) overriding type S in trait ScriptType with bounds <: Script[Scala.this.type]; 
    type S has incompatible type 
    type S = ScalaScript 

ScriptType.Scalaでtype Sの割り当てに関して、コンパイル中にエラーを取得がScript[Scala.this.type]ScalaScriptではありません。

私の最初の試みは、このように見えましたか？

Answer 1

ScalaScriptはthis.typeは、各Scalaインスタンスに対して一意ですシングルトンタイプを意味するので、Script[Scala.this.type]ではありません。

あなたはScript反変することによってこの問題を解決することができますScalaはScala.this.typeのスーパーの（シングルトンタイプであるため、ScalaScriptは、Script[Scala.this.type]のサブタイプとして受け入れることができるように

trait Script[-Type <: ScriptType]

をScalaの任意のインスタンス）。