Unterschied zwischen Scalas existenziellen Typen und Javas Wildcard anhand eines Beispiels?

Ein bisschen spezifischer als die Stapelüberlauf-FrageWas ist ein existenzieller Typ?Was ist der Unterschied zwischen Scalaexistenzielle Typen und JavaPlatzhalter, am liebsten mit anschaulichem Beispiel?

In allem, was ich bisher gesehen habe, scheinen sie ziemlich gleichwertig zu sein.

Einige Referenzen. Martin Oderskyerwähnt sie; GooglesTop-Hit für meine Frage:

MO: Das ursprüngliche Wildcard-Design ... wurde von existenziellen Typen inspiriert. Tatsächlich hatte das Originalpapier eine Kodierung in existenziellen Typen. Als dann aber das eigentliche endgültige Design in Java herauskam, ging diese Verbindung ein wenig verloren

Antworten auf die Frage(5)

Ihre Antwort auf die Frage