D grammar oddities

[Dibyendu Majumdar]

On Tuesday, 17 November 2020 at 00:24:20 UTC, Paul Backus wrote:

> A struct declaration *creates* a type, but it is not, itself, a 
> type. When you declare `struct MyStruct { /* ... */ }`, the 
> type that's created is just called `MyStruct`--which means 
> that, grammatically, the type is an identifier.

Sure - but the issue is the grammar is useless for trying to 
understand the language.

There is a production Types -> .... But it isn't map to a type.

https://dlang.org/spec/grammar.html#types