GJ: A Generic Java

[Tom Tromey]

>>>>> "Patrick" == Patrick Tullmann <tullmann@cs.utah.edu> writes:

Patrick> I belive this is only available in the 1.3 JDK and later...
Patrick> The rumors I've heard is that the code is just the GJ
Patrick> reference implementation that's been available separately for
Patrick> a while now.

That's what the article said, too.  It implied that generics would end
up in core Java, but I always assume statements like that have a
certain amount of wishful thinking in them.

The article talks a bit about Java's type system as a whole.  There is
a book called "Object Oriented Type Systems" which AG recommended to
me that describes a type systme (with generics) very similar to what
Java implements (OOTS doesn't have non-object types, as I recall).

Tom