4

ここにはいくつかの同様の質問があります。私はそれらを読みましたが、コードが機能する答えが見つかりませんでした。通常よりも正確な型指定を必要とするまれなケースに遭遇したと思います。

私の場合は2つの言葉で。scala 言語の理解を深めるために、非常に単純な異種リストの例を作成したいと思います。私が自分自身に設定した制限があります。どのような形式でも暗黙的ではなく、単純な scala 型システムだけです。Implicits は多くのことを簡単にすることができますが、私は一生懸命やってみたいと思います。

私はすでにコードを動かしていますが、それを改善したいと思います。ここにあります：

sealed trait HList {
  type Self <: HList
  def self : Self

  def prepend[H](head : H) = HCons[H, Self](head, self)
  def ::[H](head : H) = prepend(head)

  type Merge[X <: HList] <: HList
  def merge[X <: HList](other : X) : Merge[X]

  def :::[X <: HList](other : X) = other.merge[Self](self)
}

sealed trait HNil extends HList {
  override type Self = HNil
  override def self = this

  override type Merge[X <: HList] = X
  override def merge[X <: HList](other : X) : Merge[X] = other
}
case object HNil extends HNil

final case class HCons[H, T <: HList](head : H, tail : T) extends HList {
  override type Self = HCons[H,T]
  override def self = this

  override type Merge[X <: HList] = HCons[H, T#Merge[X]]
  override def merge[X <: HList](other : X) : Merge[X] = HCons(head, tail.merge(other))
}

Merge型コンストラクターは、2 つのリストを追加した型の結果を示します。ネストされたすべての型を追跡する必要があります。結果は次のとおりです。

val x = "str" :: true :: HNil
val s : String = x.head
val b : Boolean = x.tail.head

val y = 0.5 :: 12 :: HNil
val d : Double = y.head
val i : Int = y.tail.head

val l = x ::: y
val r = y.merge(x)

val sl : String = l.head
val sb : Boolean = l.tail.head
val sd : Double = l.tail.tail.head
val si : Int = l.tail.tail.tail.head

val rd : Double = r.head
val ri : Int = r.tail.head
val rl : String = r.tail.tail.head
val rb : Boolean = r.tail.tail.tail.head

これで、退屈な紹介は終わりです。残念ながら、その時点までに読者の半分を失っていました。コードを1行に折りたたむことができればいいのにと思います。

したがって、本当の問題はSelf型とselfメソッドです。見た目が悪いので、取り除きたいです。私は、f-bounded polymorphism が自然な方法で私を助けることができると信じています。次のコードを取得します。

type HAny = X forSome {type X <: HList[X]}
sealed trait HList[Self <: HList[Self]] {this : Self =>
  def prepend[H](head : H) = HCons[H, Self](head, this)
  def ::[H](head : H) = prepend(head)

  type Merge[X <: HList[X]] <: HAny
  def merge[X <: HList[X]](other : X) : Merge[X]

  def :::[X <: HList[X]](other : X) = other.merge[Self](this)
}

sealed trait HNil extends HList[HNil] {
  override type Merge[X <: HList[X]] = X
  override def merge[X <: HList[X]](other : X) : Merge[X] = other
}
case object HNil extends HNil
final case class HCons[H, T <: HList[T]](head : H, tail : T) extends HList[HCons[H,T]] {
  override type Merge[X <: HList[X]] = HCons[H, T#Merge[X]]
  override def merge[X <: HList[X]](other : X) : Merge[X] = HCons[H, T#Merge[X]](head, tail.merge(other))
}

scala コンパイラーが生成するエラーは、ほとんど洞察を与えません。

[error] App.scala:23: type arguments [H,T#Merge[X]] do not conform to method apply's type parameter bounds [H,T <: SelApp1.this.HList[T]]
[error]     override def merge[X <: HList[X]](other : X) : Merge[X] = HCons[H, T#Merge[X]](head, tail.merge(other))
[error]                                                                    ^
[error] one error found

prepend 部分はスムーズに f-bound ポリモーフィズムに変換されました。マージ部分でエラーが発生しました。型を抽象化する必要があるため、追加の型指定なしで使用した初期の例と同様に、存在型でMerge境界付けました。HAnyHList

しかし、後者の場合、コンパイラが不適切な型について警告するため、一部の型情報が失われます。では、構築に必要なすべての型情報を保持するために、どのように存在型を定義できますHConsか? 抽象型ソリューションを f-bound バリアントに転送するには、より複雑な調整が必要になるのでしょうか?

4

1 に答える 1