[nem-pl] Typy egzystencjalne w Javie

[Kamil Skalski]

http://www.bracha.org/wildcards.pdf

Tu oni wprowadzają coś takiego jak 
f (List<?> a) {... }
Różnie i dość niezrozumiale wyjaśniają czym to się różni od
<T> f (List<T> a) {...}
i generalnie wygląda to na jakieś oszustwo...

W końcu okazuje się, że to są egzystencjalne parametry typowe / niezwiązane 
parametry typowe
\exists 'a . 'a

To do czego to się może przydać wyjaśniają w jeszcze mniej zrozumiały sposób, 
ale piszą, że w object-oriented environment to jest fajne, no i wygląda na 
to, że Java 1.5 to jest....

Opinions?

Kamil