PRTv3

[petervaro]

Proposed Enhancements (PRT v3.0)

For faster and more language independent behaviour, the attribute name should
not be stored as a string, but as an integer. This approach gives greater
freedom for dialect implementers, like redefining the same name-number
depending on the identifier (scoping). But since JS and JSON are not supporting
the ability to have integers as keys, and in some languages having a hash-map is
a difficulty, attributes should be an array of fixed length arrays, as follows:

attribute      ::= <array of attribute_pairs>
attribute_pair ::= unsigned integer, string

eg.

[0, [[0, "#"]], null];