partially-applied-type

5calore

1risposta

tipi non conformi con il tipo di lambda

Hai problemi con il tipo di "tipi": 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] = ??? Que

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

---