나는 그 작성자로부터 추상 타입 멤버를 받아 들일 수있는 쓰기 프록시에 문제가있었습니다. trait Holder[A[_]] {
type I
type Y <: A[I]
}
trait Proxy[A[_], H <: Holder[A]] extends Holder[A] {
override type I = H#I
overri
스칼라가 타입 프로젝션에서 올바른 타입을 추론하는 데 어려움을 겪고 있습니다.이 trait Foo {
type X
}
trait Bar extends Foo {
type X = String
}
def baz[F <: Foo](x: F#X): Unit = ???
는 다음 잘 컴파일 : 는 다음과 같은 고려 val x: Foo#
저는 walking around a problem입니다. 유형 프로젝션과 추상 유형에 새로운 이상한 문제가 발견되었습니다. 트랜잭션을 생성하는 시스템이 있고 브리지 할 피어 시스템이 있다고 가정 해보십시오. trait Txn[S <: Sys[S]] {
def peer: S#Peer#Tx
def newID(): S#ID
def ne
한 f- 바운드 형식에서 다른 형식으로 투영 할 때 이해할 수없는 형식 오류가 발생합니다. related to an earlier question 일지 모르지만 확실하지 않습니다. 셋업은 간단하다 :입니다 trait Foo[F <: Foo[F]] {
type I <: Foo[I]
}
, 내가 다른 유사한 시스템에 돌출부를 포함하는 시스템 F