partially-applied-type

5Ciepło

1Odpowiedz

Rodzaje niezgodnych z typem lambda

kłopoty z typu "rodzaje": trait Sys[ S <: Sys[S]] trait Expr[S <: Sys[S], A] trait Attr[S <: Sys[S], A[_]] def test[ S <: Sys[S]]: Attr[S, ({type l[x<:Sys[x]]=Expr[x,Int]})#l] = ??? To nie z erro

scala types existential-type type-kinds partially-applied-type 2013-01-17

---