Universal generics would allow Java type variables to range over primitive and reference types, making it easier to extend or reuse code across different types.

The Java compiler includes a type inference algorithm that examines each generic method invocation and corresponding declaration to figure out the invocation’s type argument (s).

Java generic classes are compiled into bytecodes, assuming java.lang.Object for all type parameters (or, alternatively, a more specific class constraint). This is known as "type erasure".

"generics over numerical types with efficient maths" is one of the real hard problems with the generics systems in many popular languages (c#/dotnet and java included, though java's type erasure ...

Generics not only let you create more flexible classes, they make inheritance more flexible, also. To pick the right inheritance mode when inheriting from a generic, though, you must know what you're ...