Nieco bardziej szczegółowe niż pytanie dotyczące przepełnienia stosuCzym jest typ egzystencjalny?, jaka jest różnica między Scalatypy egzystencjalne i Javadzika karta, prawdopodobnie z pewnym ilustracyjnym przykładem?

We wszystkim, co do tej pory widziałem, wydają się być całkiem równoważne.

Kilka odniesień. Martin Oderskywspomina o nich; Googlehit na moje pytanie:

MO: Oryginalny projekt wieloznaczny ... był inspirowany typami egzystencjalnymi. W rzeczywistości oryginalny artykuł miał kodowanie w typach egzystencjalnych. Ale kiedy rzeczywisty ostateczny projekt pojawił się w Javie, to połączenie trochę się zgubiło