Exploring JVM extensions to add proper reified generics to Java! You'll be able to distinguish List<Integer> from List<String> (i.e. not just type erasure).
https://openjdk.java.net/jeps/8204937
Related Posts
The most common selling point I hear for Nix is having a list of all the packages you need.
On a traditional Linux distro, I just install things and forget about them. A curated, commented list would certainly be handy when I have a new system.
I've been using "Expected Int, but got String" for my type error messages, but I've been wondering if I could do better.
"Expected Int here, but this value has type String" or "This expression requires Int, but the value is String".
Do you have a favourite?
Playing with optional type signatures in Python, I realise that the return type is the most important to me.
I'd much rather have a function with only a return type instead of a function with only parameter types. It's often quick to add too.