[Json] JSON Schema Language is nearly done

[Ulysse Carion <[e-mail]>]

Hi all,

I've just submitted an I-D of JSON Schema Language:

https://tools.ietf.org/html/draft-json-schema-language-02

I believe this iteration is suited to be the penultimate draft; I see no
features in this spec worth adding, nor any features worth removing. I know
of a few minor problems with the language in the spec, and those issues are
tracked on GitHub here <https://github.com/json-schema-language/spec/issues>
.

In this draft, I introduced fine-grained numerical types -- "float32",
"float64", "int8", "uint64", etc. -- because they are immensely useful for
real-world code generation. The spec details these types here
<https://tools.ietf.org/html/draft-json-schema-language-02#section-3.3.3>
(Table 2). "float32" and "float64" have no effect on validation versus
"number", but they do signal intent, and act as a hint for code generators.

The question of JSON integers has been contentious in the past -- I
explicitly call out that 10.0 is considered a fine "int8". I did this out
of the robustness principle, and the fact that the alternative (considering
10.0 unacceptable) is one which fewer will be able to enforce. Some
implementations may in practice be more restrictive in what they accept
than the spec describes. I think that's acceptable; it seems clear that
either approach will lead to people deviating from the spec.

Let me know what y'all think about JSON Schema Language as a whole! If you
relish in the concrete, here are working implementations of validators
built on this iteration of JSON Schema Language:

https://github.com/json-schema-language/json-schema-language-go
https://github.com/json-schema-language/json-schema-language-typescript
https://github.com/json-schema-language/json-schema-language-rust

The GitHub org also contains tooling built on JSL, but they have not been
updated to support the fine-grained numerical types yet. I'll be working on
that soon.

I view JSL as being nearly complete, so any and all criticism is most
welcome.

Thanks,
Ulysse