Re:Background: how we got the generics we have (2020)
by _old_dude_ on Thursday April 01, 2021 @12:55PM
(#26663061)
Very cool,
it seems to be the best of both worlds, the specialization of the class/fields is done the first time a specialized type is instantiated while the specialization of methods is done by the JIT.
And the VM can specialize on any values, not just types.
[1] https://cr.openjdk.java.net/~jrose/values/parametric-vm.pdf