IETF Logo Mail Archive

Re: [Json] JSON Schema Language: extensibility and unspecified properties

Carsten Bormann <cabo@tzi.org> Mon, 12 August 2019 12:16 UTC

Return-Path: <cabo@tzi.org>
X-Original-To: json@ietfa.amsl.com
Delivered-To: json@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B34CA120F15 for <json@ietfa.amsl.com>; Mon, 12 Aug 2019 05:16:59 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.197
X-Spam-Level:
X-Spam-Status: No, score=-4.197 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_NONE=0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id mTLID_cZW-ze for <json@ietfa.amsl.com>; Mon, 12 Aug 2019 05:16:06 -0700 (PDT)
Received: from gabriel-vm-2.zfn.uni-bremen.de (gabriel-vm-2.zfn.uni-bremen.de [134.102.50.17]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id B24CC12097C for <json@ietf.org>; Sun, 11 Aug 2019 13:06:28 -0700 (PDT)
Received: from [192.168.217.120] (p548DCCB9.dip0.t-ipconnect.de [84.141.204.185]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by gabriel-vm-2.zfn.uni-bremen.de (Postfix) with ESMTPSA id 46693Q546Zzysr; Sun, 11 Aug 2019 22:06:26 +0200 (CEST)
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <CAJK=1Rj6Q3CvpF9aYML=47SF_XP49=O2hLhcBo8gZCb73C0RAw@mail.gmail.com>
Date: Sun, 11 Aug 2019 22:06:26 +0200
Cc: JSON WG <json@ietf.org>
X-Mao-Original-Outgoing-Id: 587246784.714946-8311f4f1d05817dc7b42d0d7fe797fa9
Content-Transfer-Encoding: quoted-printable
Message-Id: <FDB93E41-9D7D-4BF2-8D01-F4D075774848@tzi.org>
References: <CAJK=1RhXp85cz-pOAQPw2JM=CYHgGSygj4Hw0spht56jbzQE2g@mail.gmail.com> <53094378-B559-49E1-B42B-54FBA8BC35AA@tzi.org> <CAJK=1Rj6Q3CvpF9aYML=47SF_XP49=O2hLhcBo8gZCb73C0RAw@mail.gmail.com>
To: Ulysse Carion <ulysse@segment.com>
X-Mailer: Apple Mail (2.3445.9.1)
Archived-At: <https://mailarchive.ietf.org/arch/msg/json/Zj91RGFRYqn1C9yYBTthoIcpULI>
Subject: Re: [Json] JSON Schema Language: extensibility and unspecified properties
X-BeenThere: json@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "JavaScript Object Notation \(JSON\) WG mailing list" <json.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/json>, <mailto:json-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/json/>
List-Post: <mailto:json@ietf.org>
List-Help: <mailto:json-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/json>, <mailto:json-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 12 Aug 2019 12:17:00 -0000

On Aug 11, 2019, at 19:33, Ulysse Carion <ulysse@segment.com> wrote:
> 
>> This is a nice demonstration that it was a mistake to remove uint53.
> 
> Perhaps. But perhaps instead I should just use {"type": "number"}, and
> accept that JSL isn't going to be able to express certain things about
> numbers?

Sure, that is one way of handling it.
However, it seems bizarre to support int8, int16, and int32, but not JSON’s generic interoperable integers.

> Re-reading https://tools.ietf.org/html/rfc7071, it seems it constrains
> the timestamps to not have a fractional part at the JSON syntax level.

Oops.
(I’d consider this an erratum, though, as Section 2.4 of RFC 4627 does not define “integer”.)

> That’s another thing JSL can't deal with.

Actually, that’s something JSON can’t deal with.

> But I'm not sure if in
> practice that’s such a big deal.

MS-Excel has repeatedly taught me that my university phone number is 2.1863921e7, but people still manage to call me :-)

Grüße, Carsten

v2.23.0 | Report a Bug | By Email