In Scala Language Specs (versione 2.9 - 11 giugno 2014), nella sezione sui tipi esistenziali viene usato il termine "sostituzione", tuttavia, il significato di sostituzione non sembra essere definito nelle Specifiche della lingua di Scala.Qual è la definizione del termine "sostituzione" nella Specifica lingua di Scala?
Qualcuno potrebbe spiegare cosa significa sostituzione in questo contesto?
Significa che una variabile di tipo in un'espressione di tipo è sostituita con un altro tipo concreto o tipo di variabile o tipo costruttore?
Se la sostituzione è pensata per essere un tipo concreto, allora vengono considerati i tipi concreti? Quelli che sono in ambito come un nome semplice?
Quale sarebbe una definizione significativa per il concetto di "sostituzione" in questo contesto?
Cosa viene sostituito con cosa?
Solo supposizioni, ma forse si riferisce al [principio di sostituzione Liskov] (https://en.wikipedia.org/wiki/Liskov_substitution_principle) –