Verbiage for `type` could be improved.

[gregsdennis]

Core Section 6.1.1

An instance validates if and only if the instance is in any of the sets listed for this keyword.

Here a "set" is intended to be a collection, indicating that the value should be contained within that collection. However "in any of the sets" seems to imply there are multiple collections.

I think that the intent here was to say that the instance is valid if it is a subset of the set of allowable values (which are defined in the preceding sentence), but it still reads weird.

I suggest

An instance validates successfully if one of the following is true

• it is a single value from the set above
• it is an array of distinct values from the array above

This is a bit more verbose but significantly clearer.

[karenetheridge]

What does "an instance ... is an array of distinct values from the array above" mean? That makes it sound like this data: [ 1, true, null ] would successfully validate against the schema {"type": [ "integer", "boolean", "null" ]}.

I suggest:

An instance validates successfully if one of the following is true:

• if the value of "type" is a string, and the instance is of the type indicated by that string, or
• if the value of "type" is an array, the instance is of one any of the types in that array

edit: one of -> any of: because number and integer partially overlap

[gregsdennis]

oh... yeah 🤦‍♂️

[jdesrosiers]

👍 Let's fix this!

[jdesrosiers]

I'll write this up within the next day or two if there are no objections.