In den Scala Language Specs (Version 2.9 - 11. Juni 2014) wird im Abschnitt über Existenztypen der Begriff "Substitution" verwendet, die Bedeutung der Substitution scheint jedoch in der Scala Language Specification nicht definiert zu sein.Was ist der Begriff "Substitution" in der Scala Language Specification?
Kann jemand erklären, was Substitution in diesem Zusammenhang bedeutet?
Bedeutet dies, dass eine Typvariable in einem Typausdruck durch einen anderen konkreten Typ oder Typvariablen- oder Typkonstruktor ersetzt wird?
Wenn die Substitution ein konkreter Typ sein soll, dann werden die konkreten Typen berücksichtigt? Die, die als einfacher Name in Reichweite sind?
Was wäre eine sinnvolle Definition für den Begriff "Substitution" in diesem Zusammenhang?
Was wird durch was ersetzt?
Einfach raten, aber vielleicht bezieht es sich auf das [Liskov-Substitutionsprinzip] (https://en.wikipedia.org/wiki/Liskov_substitution_principle) –