[nem-pl] Typy egzystencjalne w Javie

[Michal Moskal]

On Fri, Feb 06, 2004 at 12:34:53PM +0100, Kamil Skalski wrote:
> 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

Tzn. List<object> ? Bo to chyba na to wychodzi. Muszę jeszcze poczytać,
bo to rzeczywiście trochę mętne.

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith :: GCS !tv h e>+++ b++
: When in doubt, use brute force. -- Ken Thompson :: UL++++$ C++ E--- a?