There's a lot to like about this, but I laughed at trying to cast nominal typing as a design choice in typing per se rather than e.g. a tool to make the VM's lo

There's a lot to like about this, but I laughed at trying to cast nominal typing as a design choice in typing per se rather than e.g. a tool to make the VM's loader simpler. It gives away the lie just two paragraphs after explaining it: > This choice was partially driven by a key design idea in Java’s type system known as nominal typing, which is the idea that... each type has a name that should be meaningful to humans... the compiler still produced two different anonymous classes, $0 and $1... Names extremely meaningful to humans!