On 5/7/2020 4:19 PM, Alex Buckley wrote:
We ought to be able to represent the taxonomy in a table, where any
combination of row title and column title gives something meaningful:
<No qualifier> | Declaration | Type
-------------------------------------------------------------
Class C | class C {..} | C in `C c;`
C | class C<T> {..} | C<String> in `C<String> c;`
> ...
Please incorporate a table like this in the intro. ... 30 pages of
detailed JLS changes look impressive but all they do is embody a
taxonomy that should be explainable to every Java programmer in under
30 lines.
This top-down explanation of the taxonomy will also help when I apply
the Consistent Terminology spec draft to the JLS proper. As thorough as
the hundreds of edits in the spec draft are, there are bound to be
omissions and incongruities somewhere, so having a complete and
out-of-band overview of the desired taxonomy will get them fixed faster.
Alex
