A dependently typed programming language embedded in JSON, that can be used as a schema checker for JSON data.
The syntax is optimized for the most used use cases.
Instead of writing (like in json-schema):
{
"type": "object",
"properties": {
"year": { "type": "number" },
"name": { "type": "string" }
}
}I want to write:
{
"name": "string",
"year": "number"
}npm i @xieyuheng/x-json