Hoodlums Message Board › Some references about Generics and wildcards in Java

Some references about Generics and wildcards in Java

A Van E.
user 13961717
Cambridge, GB
Post #: 1
After the last meeting we were sitting in the restaurant, we'd had a few beers, and - you know how it is - at a certain point in the evening, the talk inevitably turns to the subject of existential types.

I was whinging on about how I didn't really understand Java wildcards and that existential types were somehow implicated in wildcards in Java. I was complaining that most books and tutorials seemed to only introduce the 'extends' keyword in connection with the ? notation - which I thought was a bit perverse since 'extends' can also be used with generic type variables (but not 'super' - not sure why) - anyway - I mentioned some papers but couldn't remember the titles so I said I would post them

This is the main one I was remembering: Wild FJ

http://homepages.inf....­

Here is a Generics Java paper - which shows that they were thinking about bounded types using the extends keyword even without wildcards.

http://lamp.epfl.ch/p...­

It was another fun Hoodlums session - although some of the advanced type concepts that we were talking about were a little too much for my small newbie brain. Maybe it will all be clear to me one day...

Cheers - Van
Radu G.
user 13464758
London, GB
Post #: 3
I remember there were two interesting presetations at FTFJP 2009 related to existential types in Java.

Bruno De Fraine. Range Parameterized Types: Use-site Variance without the Existential Questions
Nicholas Cameron and Sophia Drossopoulou. On Subtyping, Wildcards, and Existential Types
Powered by mvnForum

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy