Class & Interface Terminology

Posted on May 7, 2020

We have made some efforts recently to make more precise usage of the terms 'class', 'interface', and 'type' …

More at https://mail.openjdk.java.net/pipermail/amber-spec-experts/2020-May/002175.html