There are serious proposals for adding type inference `var x = new List();` to Java! https://openjdk.java.net/jeps/286
miniblog.
Related Posts
A deep dive on how Go generics are implemented, with monomorphisation of call sites with primitive types for performance: https://eli.thegreenplace.net/2022/faster-sorting-with-go-generics/
The Go proposals call this 'stenciling', but I've not heard that term before. AFAICT it's monomorphisation.
Excellent discussion of translation units, definition order, and the design tradeoffs in C++ language proposals:
Proposals for adding different emotions to the 💩 emoji have prompted discussions on the role of the emoji subcommittee and the priorities of the Unicode consortium: https://www.buzzfeednews.com/article/charliewarzel/inside-the-great-poop-emoji-feud