Was ist gemeint mit Scala Pfad-abhängige Typen?

Ich habe gehört, dass Scala hat die Pfad-abhängige Typen. Es ist etwas zu tun mit inneren Klassen, aber was bedeutet das eigentlich und warum sollte mich das interessieren?

  • Ich weiß auch, was PDTs sind; ich hoffte, dass SO sein könnte, angereichert mit einer Antwort!
  • Ich hoffe, dass es eine lapidar beantworten nach dem Lesen ch12 über PDT
InformationsquelleAutor oxbow_lakes | 2010-04-22
  1. 156

    Mein Lieblings-Beispiel:

    case class Board(length: Int, height: Int) {
  case class Coordinate(x: Int, y: Int) { 
    require(0 <= x && x < length && 0 <= y && y < height) 
  }
  val occupied = scala.collection.mutable.Set[Coordinate]()
}

val b1 = Board(20, 20)
val b2 = Board(30, 30)
val c1 = b1.Coordinate(15, 15)
val c2 = b2.Coordinate(25, 25)
b1.occupied += c1
b2.occupied += c2
//Next line doesn't compile
b1.occupied += c2

    So, die Art der Coordinate ist abhängig von der Instanz von Board von der es instanziiert wurde. Es gibt alle Arten von Dingen, die erreicht werden kann mit dieser, geben eine Art Sicherheit geben, dass ist abhängig von Werte und Arten nicht allein.

    Das hört sich wie abhängige Arten, aber es ist mehr eingeschränkt. Zum Beispiel, die Art der occupied ist abhängig von dem Wert der Board. Vor der letzten Zeile nicht funktioniert, da der Typ von c2 ist b2.Coordinate, während occupied's Art ist Set[b1.Coordinate]. Beachten Sie, dass eine Nutzung einer anderen Kennung mit der gleichen Art von b1, so ist es nicht die identifier b1 ist, dass im Zusammenhang mit der Art. Zum Beispiel, die folgenden Werke:

    val b3: b1.type = b1
val c3 = b3.Coordinate(10, 10)
b1.occupied += c3
    • +1 für die Antwort. Ich fand den letzten Satz verwirrend: Sie sagen 'Art Sicherheit, die abhängig von Werte und Arten nicht allein'. Für mich klingt das wie abhängige Arten, aber Pfad-abhängige Typen verlassen Sie sich nicht auf Werte per se. Glaubst du, es ist verwirrend wie gut?
    • Ich verstehe, was Sie sagen, aber Pfad-abhängige Typen do angewiesen auf Werte, auch wenn Sie nicht bieten die Flexibilität, in der Regel verbunden mit abhängigen Typen.
    • Die durch Werte, meinst du den Wert von b1 oder die Werte, die übergeben werden an den Konstruktor von b1(ich.e 20, -). Ich kann verstehen, wenn du meinst, b1, aber ich kann nicht sehen, die Wirkung, dass die 20 hat auf den code.
    • Ich meine b1 natürlich. 20 ist nicht Teil des Pfades.
    • Genau, das ist es, was ich meine. Zunächst Las ich, dass der Typ hing davon ab, die Werte an den Konstruktor übergeben, nicht das b1/b2. Ich verstehe es jetzt, aber es hat mich ein paar mal gelesen, um es zu bekommen.
    • Die einfachste Erklärung ist, dass die Pfad-abhängige Typen werden nur Klassen mit Verschlüssen, genau auf die gleiche Weise können die Funktionen bind-Variablen aus dem scope.
    • Aber vielleicht gibt es einen grundlegenden Unterschied zu dieser Analogie : eine Bindung erfolgt zur Laufzeit (für die Verschlüsse) und die andere Bindung erfolgt zur compile-Zeit (für Pfad-abhängige Typen).

    InformationsquelleAutor Daniel C. Sobral
Schreibe einen Kommentar