You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is not suitable. The referenced type is ordered maps, so the value space incorrectly contains ordered maps when it should contain unordered maps.
The best solution is to not use ordered maps at all and use unordered maps instead.
A much worse solution would be something like
equivalence sets of maps (mapping strings to values in the value space
where two maps are equivalent if for each tuple in either map there is a tuple in the other map with the same key and value
Wording later in the section would probably have to be adjusted to mention equivalence sets of maps wherever it mentions maps.
The text was updated successfully, but these errors were encountered:
The rdf:JSON value space is currently defined as
maps (mapping strings to values in the value space where the order of map entries is not significant),
This is not suitable. The referenced type is ordered maps, so the value space incorrectly contains ordered maps when it should contain unordered maps.
The best solution is to not use ordered maps at all and use unordered maps instead.
A much worse solution would be something like
equivalence sets of
maps (mapping strings to values in the value space
where two maps are equivalent if for each tuple in either map there is a tuple in the other map with the same key and value
Wording later in the section would probably have to be adjusted to mention equivalence sets of maps wherever it mentions maps.
The text was updated successfully, but these errors were encountered: