type-projection

2熱

2答えて

Scalaの型投影の正しい制限は何ですか？

私はScalaの型予測に関する制限がありません。私は、次のコードを持っていると仮定します sealed trait Color case object Red extends Color case object Green extends Color case object Blue extends Color trait Item { type Colors <: Color

scala type-projection 2017-06-14

---

8熱

2答えて

表現型を型メンバーとして実装できません

私の頭をanother questionに割いている間、私はさまざまな謎を抱いていました。これはそのうちの一つです：次のようにエラーがある trait Sys[S <: Sys[S]] { type Peer <: Sys[Peer] } trait Fenced { type Peer <: Sys[Peer] } def makeFence[S <: Sys[S

scala types abstract-type type-projection bounded-quantification 2012-09-25

---

3熱

3答えて

これらの型引数が型の細分化に適合しないのはなぜですか？

このScalaコードが型チェックに失敗するのはなぜですか？ trait T { type A } trait GenFoo[A0, S <: T { type A = A0 }] trait Foo[S <: T] extends GenFoo[S#A, S] "型引数[S＃A、S]はGenFooの型パラメータの境界を形質に適合していない[A0、S <：T {タイプA = A0を}]" な

scala types specialization type-projection 2011-07-22

---