Немного конкретнее, чем вопрос переполнения стекаЧто такое экзистенциальный тип?В чем разница между Scala?existential types и Javawildcardжелательно с каким-то наглядным примером?

Во всем, что я видел до сих пор, они кажутся довольно эквивалентными.

A few references. Martin Odersky упоминает их; Google & APOS; sлучший ответ на мой вопрос:

MO: The original wildcard design ... was inspired by existential types. In fact the original paper had an encoding in existential types. But then when the actual final design came out in Java, this connection got lost a little bit