Re: [Json] A minimal examplotron-style JSON validation language.

[Ulysse Carion <[e-mail]>]

Hi Carsten,

Any thoughts on Tim Bray's suggestion? Regarding something akin to JSL (+
enums + timestamps), but perhaps built atop the foundations of CDDL?

- Ulysse

On Wed, May 29, 2019 at 2:15 PM Carsten Bormann <[e-mail]> wrote:

> On May 29, 2019, at 22:17, Nico Williams <[e-mail]> wrote:
> >
> >  top_level : choice(file_menu, edit_menu);
> >  file_menu : object{"menu"->file_menu_contents};
> >  edit_menu : object{"edit_menu"->edit_menu_contents};
> >  file_menu_contents := object{
> >    "id":"file", /* this means this must be present with this value */
> >    "value":"File",
> >    "popup": object { ... }
> >  };
>
> While it is certainly enjoyable to design another language, I’m not sure
> why this should not be done in an ABNF-like syntax such as CDDL (which, by
> the way, is in AUTH48 and will soon be RFC 8610).
> Keeping your names (even the snake case, where I’d be using kebab case):
>
> top_level = file_menu / edit_menu
> file_menu = { menu: file_menu_contents }
> edit_menu = { edit_menu: edit_menu_contents }
> file_menu_contents = {
>   id: text    ; assuming here this is your examplotron content
>   value: text
>   popup: { }
> }
> edit_menu_contents = { }
>
> I didn’t put in the ignore-unknown stuff; that would be 12 characters in
> CDDL unless you define something to make this shorter.
>
> Put the above into a menus.cddl and try
>
>   cddl menus.cddl g 10
>
> you get 10 examples:
>
> {"menu": {"id": "gray", "value": "commixt", "popup": {}}}
> {"menu": {"id": "proctoplasty", "value": "compunctious", "popup": {}}}
> {"menu": {"id": "taglike", "value": "valvulate", "popup": {}}}
> {"edit_menu": {}}
> {"menu": {"id": "uninundated", "value": "unworthily", "popup": {}}}
> {"edit_menu": {}}
> {"edit_menu": {}}
> {"menu": {"id": "Orangeist", "value": "imperialin", "popup": {}}}
> {"edit_menu": {}}
> {“edit_menu": {}}
>
> This is a bit boring as there is only one choice and two non-singleton
> types.
> Sorry if I didn’t get the intent of your example right.
>
> Grüße, Carsten
>
> PS.: OK, with ignore-unknown:
>
> top_level = file_menu / edit_menu
> file_menu = { menu: file_menu_contents _..._ }
> edit_menu = { edit_menu: edit_menu_contents _..._ }
> file_menu_contents = {
>   id: text    ; I'm assuming here this is your examplotron content
>   value: text
>   popup: { _..._ }
>   _..._
> }
> edit_menu_contents = { _..._ }
>
> _..._ = ( * text => any )
>
> ➔
>
> {"menu": {"id": "fahlerz", "value": "unshocked", "popup":
> {"astrophotometry": "perdurance"}, "foolship": "pentacosane", "larrikin":
> "myoglobin"}}
> {"edit_menu": {"priggery": "cordaitean", "jackpudding": "righten",
> "unconfidence": "photolitho", "reviling": "ewe"}, "allophylic": "compound",
> "teacupful": "allergen"}
> {"menu": {"id": "amazement", "value": "condylomatous", "popup":
> {"cosounding": "share", "contribute": "gabblement", "gunpaper":
> "dividualism", "undersociety": "noration"}}}
> {"edit_menu": {"glareole": "clicket", "madling": "dizain"}, "scrimpily":
> "gypsywort", "neurofibrilla": "discolor"}
> {"edit_menu": {"unpermissive": "cockneity"}, "caudillism": "visa",
> "interloop": "anthracnose"}
> {"menu": {"id": "blankite", "value": "puffery", "popup": {"katuka":
> "Gnathostomata", "effeteness": "unspelt"}}, "Chaldaic": "extrafoliaceous",
> "trimesic": "dwindlement", "successful": "fluctuant", "nevadite":
> "aggradational"}
> {"menu": {"id": "acrostolion", "value": "devocalize", "popup": {}},
> "cymation": "premanufacturer", "mysticete": "analyst", "ethnocentric":
> "Myrtales"}
> {"edit_menu": {"glycerolize": "blastoid", "undisputedness":
> "propheticly"}, "orchiotomy": "illiquidity"}
> {"menu": {"id": "tenebriously", "value": "guardo", "popup": {"abeigh":
> "fibrillar", "Sminthurus": "disnosed", "accessibility": "autem"}}}
> {"edit_menu": {"stableman": "erosional"}}
>
>
>
>