Warum kann Scala nicht den Pfad eines pfadabhängigen Typs ableiten - selbst von einer expliziten Selbstreferenz?

Question

Ich würde gerne ein Objekt an eine Funktion übergeben, die ein Argument mit einem projizierten Typ akzeptiert, und Scala den Schluss ziehen, dass der Typ des Objekts von dem Objekt kommt, das es umgibt. Hier ist ein einfacher Code, die Schwierigkeit zu veranschaulichen:

trait Cult { cult_ => 
    case class CultLeader(personality: Personality) { 
    val cult = cult_ 
    val follower = personality.attractFollower(this) 
    } 
    case class Follower(leader: CultLeader, name: String) 
} 

trait Personality { 
    def attractFollower(leader: Cult#CultLeader) = 
    leader.cult.Follower(leader, "Fred") <-- THIS LINE FAILS TO COMPILE 
} 

Mit anderen Worten, ein CultLeader Persönlichkeit einen Nachfolger zum gleichen Kult wie die CultLeader anziehen sollte.

Die Scala 2.11.2 Compiler sagt:

TypeProjection.scala:11: error: type mismatch; 
found : Cult#CultLeader 
required: leader.cult.CultLeader 
    leader.cult.Follower(leader, "Fred") 
         ^

Es kompiliert und ordnungsgemäß ausgeführt wird, wenn ich eine Besetzung, wie folgt hinzufügen:

leader.cult.Follower(leader.asInstanceOf[leader.cult.CultLeader], "Fred") 

Das ungeschickt scheint und es führt zur Laufzeit überprüft für etwas, das zur Kompilierzeit ableitbar sein sollte. Zumindest habe ich einen Workaround. Wie kann ich den Scala-Compiler dazu bringen, daraus abzuleiten, dass der Typ leader tatsächlich leader.cult.CultLeader ist?

Ich würde lieber cult als ein weiteres Argument zu attractFollower übergeben. In meinem tatsächlichen Code könnte das zu einer Menge hässlicher Umgehung des Parameters cult führen - wenn es wirklich überhaupt nicht übergeben werden sollte.

Answer 1

Der einfache Weg ist:

trait Cult { cult_ => 
    case class CultLeader(personality: Personality) { 
    val cult = cult_ 
    val follower = personality.attractFollower(this) 
    } 
    case class Follower(leader: Cult#CultLeader, name: String) // <-- Cult#CultLeader here 
} 

trait Personality { 
    def attractFollower(leader: Cult#CultLeader) = 
    leader.cult.Follower(leader, "Fred") 
} 

// Exiting paste mode, now interpreting. 

defined trait Cult 
defined trait Personality 

Hier sind Sie explizit angeben, dass Follower jede Projektion nehmen, die Sie tatsächlich mit asInstanceOf zu zwingen versucht.

---

Es gibt eine andere Art und Weise zu tun, dass:

trait Cult { 
    case class CultLeader(personality: Personality) { 
    def fl(name: String) = Follower(this, name) 
    val follower = personality.attractFollower(this) 
    } 
    case class Follower(leader: CultLeader, name: String) 
} 

trait Personality { 
    def attractFollower(leader: Cult#CultLeader) = leader.fl("Fred") 
} 

oder

trait Cult { 
    case class CultLeader(personality: Personality) { ld => 
    val follower = personality.attractFollower(this) 
    case class Follower(name: String) { val leader = ld } 
    } 
} 

trait Personality { 
    def attractFollower(leader: Cult#CultLeader) = leader.Follower("Fred") 
} 

---

UPDATE: Dieses Beispiel es mehr machen konnte klar, warum Scala tut, was sie ist dabei:

trait Cult { cult_ => 
    case class CultLeader(personality: Personality) { 
    val cult: Cult = cult_ //could be new Cult{} as well 
    val l = this.asInstanceOf[cult.CultLeader] //We have to do asInstanceOf here because Scala have no glue (from type signature) that this cult is same as cult_ 
    val follower = personality.attractFollower(this) 
    } 

    case class Follower(leader: CultLeader, name: String) 
} 

trait Personality { 
    def attractFollower(leader: Cult#CultLeader) = 
    leader.cult.Follower(leader.l, "Fred") 
} 

// Exiting paste mode, now interpreting. 
defined trait Cult 
defined trait Personality 

Und hier ist letzte Lösung, die tut, was Sie in der richtigen Art und Weise wollen:

trait Cult { cult_ => 
    case class CultLeader(personality: Personality) { 
    val cult: cult_.type = cult_ 
    val l: cult.CultLeader = this 
    val follower = personality.attractFollower(this) 
    } 

    case class Follower(leader: CultLeader, name: String) 

} 

trait Personality { 
    def attractFollower(leader: Cult#CultLeader) = 
    leader.cult.Follower(leader.l, "Fred") 
} 

// Exiting paste mode, now interpreting. 
defined trait Cult 
defined trait Personality 

Der Haken dabei ist, dass cult_.type ist pfadabhängig (in Vorbereitung).