Desen eşleme bağımlı tipler - asInstanceOf nasıl önlenir?

Question

Aşağıdakileri, hile yapmadan ve asInstanceOf'u kullanarak nasıl gerçekleştireceğiniz konusunda boş yazıyorum.

Her biri kendi türünde üyelere sahip, keyfi olarak kapatılmış nesne türlerim var.

sealed trait Part { type A } 
    case object P1 extends Part { override type A = String } 
    case object P2 extends Part { override type A = Int } 

Şimdi

trait PartAndA { 
    val p: Part 
    val a: p.A 
    } 

    object PartAndA { 
    type Aux[P <: Part] = PartAndA {val p: P} 

    def apply(_p: Part)(_a: _p.A): Aux[_p.type] = 
     new PartAndA { 
     override val p: _p.type = _p 
     override val a   = _a 
     } 
    } 

güvenli olarak nasıl kontrol bitkinlik ile ve manuel atmalarını olmadan aşağıdaki başarabilirsiniz ... Bir P ve birlikte bir P.A değeri paket demek?

def fold[A](pa: PartAndA)(p1: PartAndA.Aux[P1.type] => A, 
          p2: PartAndA.Aux[P2.type] => A): A = 
    pa.p match { 
     case P1 => p1(pa.asInstanceOf[PartAndA.Aux[P1.type]]) 
     case P2 => p2(pa.asInstanceOf[PartAndA.Aux[P2.type]]) 
    } 

Answer 1

Sorununuzun jvm type erasure ile bağlantılı olduğunu düşünüyorum. Onsuz senin sorunun basitleştirilmiş olabilir: Benim bilgilerime göre

sealed trait Part { type A } 
case class P1() extends Part { override type A = String } 
case class P2() extends Part { override type A = Int } 

trait PartAndA[P <: Part] { 
    val p: P 
    val a: p.A 
} 

object PartAndA { 
    type Aux[P <: Part] = PartAndA[P] 

    def apply(_p: Part)(_a: _p.A): PartAndA[_p.type] = 
    new PartAndA[_p.type] { 
     override val p: _p.type = _p 
     override val a   = _a 
    } 
} 

def fold[A, T: ClassTag](pa: PartAndA[T])(p1: PartAndA[P1] => A, 
          p2: PartAndA[P2] => A): A = 
    pa match { 
    case s: PartAndA[P1] => p1(pa) // here P1 is lost, err 
    case i: PartAndA[P2] => p2(pa) // here P2 is lost, err 
    } 

hiçbir kısadır yoktur (seninkinden daha ya typeTags/classTags ile) jvm tipi silme geçici çözüm.