David A Good

Java Type System

November 27, 2020

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


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