scala - Beliebiger vs Unterstrich in Generika

Was ist der Unterschied zwischen den folgenden Generics-Definitionen in Scala:

Skalatyp-Inferenz auf einen existenziellen Typ

Betrachten Sie den folgenden Codeausschnitt, der eine reduzierte Version meines ursprünglichen Problems ist:

Hat ein Unterstrich (_) in Type Bounds eine besondere Bedeutung?

Ich versuche, Scalas existenzielle Typen zu verstehen.Gibt es einen Unterschied zwischen:

Wie kann man existenzielle Typen mit Polymorphismus höheren Ranges (Rang-N) ausdrücken?

Dekonstruktion eines existenziellen Typs

Was ist die theoretische Grundlage für existenzielle Typen?

DasHaskell Wiki erklärt gut, wie man existenzielle Typen benutzt, aber ich kann die Theorie dahinter nicht recht verstehen.Betrachten Sie dieses Beispiel ein...

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

Was ist ein existenzieller Typ?

Ich habe den Wikipedia-Artikel gelesenExistential types [https://en.wikipedia.org/wiki/Type_system#Existential_types]. Ich habe festgestellt, dass sie aufgrund des existenziellen Operators (∃) existenzielle Typen heißen. Ich bin mir jedoch nicht ...