David A Good

David A. Good

Software engineer crafting full-stack, cloud-native solutions for enterprise. GitHub | LinkedIn | Twitter

Java Type System

This is a work in progress (digital garden style!): open questions, lessons learned, tips, etc. from working with the Java type system.

TypeVariable

The Javadoc doesn't explain much, although it does reference Chapter 5. Conversions and Contexts of the Java spec. A bit of research reveals that TypeVariable is referring to a type parameter, so in the following code snippet the TypeVariable is String:

List<String> words;

Super Type Tokens aka Gafter's Gadget

http://gafter.blogspot.com/2006/12/super-type-tokens.html