Ross Tate argues that part of the complexity of Java wildcards is due to the decision to encode use-site variance using a form of existential types.
Ross Tate 争辩说 Java 通配符的复杂性有一部分是因为决定了要用存在类型的记法来标记使用点变型。