How We Got the Generics We Have (Or, how I learned to stop worrying and love erasure) by @BrianGoetz openjdk.java.net/projects/valha… After 18+ months, I finally got around to read this one and it's really informative. Here are the closing arguments to what pushed Java to erasure. 🧵

@nipafx @BrianGoetz Great read! One detail isn't 100% correct though. There are programs that break that guarantee. (They are quite contrived though, and I think it's ok to ignore them in a text about erasure.) raw.githubusercontent.com/namin/unsound/…

@jcsahnwaldt @BrianGoetz Yeah, good point. I've had this paper in my reading pile for a while and just spot-read it. I was really happy to find out that the code in Figure 1 doesn't compile with javac 9 - should've read on before feeling smug. 😬