IETF Logo Mail Archive

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

Richard Gibson <richard.gibson@gmail.com> Tue, 20 August 2019 00:52 UTC

Return-Path: <richard.gibson@gmail.com>
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 82E7E120122 for <json@ietfa.amsl.com>; Mon, 19 Aug 2019 17:52:09 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.997
X-Spam-Level:
X-Spam-Status: No, score=-1.997 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
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 W-QF70_yI0xZ for <json@ietfa.amsl.com>; Mon, 19 Aug 2019 17:52:07 -0700 (PDT)
Received: from mail-lf1-x130.google.com (mail-lf1-x130.google.com [IPv6:2a00:1450:4864:20::130]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 6B77B120045 for <json@ietf.org>; Mon, 19 Aug 2019 17:52:07 -0700 (PDT)
Received: by mail-lf1-x130.google.com with SMTP id b29so2752736lfq.1 for <json@ietf.org>; Mon, 19 Aug 2019 17:52:07 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=yXubDxEbm+/eFwYzQq4JarrNTn6prkLBHT74U0R03TQ=; b=N3CFyxEsK1E0LcAw2T0JzGgWBqasMTRwp8JyQQMbqC66Ya7rfQZ9YHJFmacf8onbe7 gPwn/MOT8EkV5crq8XoOxFiK5NChad84z0TSkiLTUlqtY3IjxvQCINE/abMd5T75xZPM VonzYwmCrFxxA8gmuFHx5xUpNcW5HgpD6TGwKrAs7oK5YV4aK8RdIFkdcM2GtP9mTkMV laO035YPfeEvNVOzew27gOc9LvEhH9Zg0XhI+Lq9EO/9qF4KnZ+y5Ui4D8xy20syKyv+ 2Iqy66ZvoZuvJ4Wumj3RbeGw+1ik3SYZ9gJXgX3ydPj065cxo35k61LGxb5ikPmqEYSY TN0g==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=yXubDxEbm+/eFwYzQq4JarrNTn6prkLBHT74U0R03TQ=; b=ciijkm8ZI0FVTw074yVjwXaI22MSWiNdV1UK4JkBZF5ZufMRHIMloJSVFeLtV6CEqV OgZPzseiE0131ZtiF3/wSXY5WdL4UVoRwkEfQoIE8WU7EvLWVfCtrUQ+G4LZM2GG0vME 3Ca2tgNN7/ClO0igX9YdahMaaQ+FM/qXFoz3IG5sqw9etQSF1ekn5VPApExZP86q6RAv ahpxZMBuHMejMwXQwNDpuHuNuR6pvREXrjRx4XKJO3No9XxWfwcKFDKycpqrd6uSJs6G WPEl7sPC+n3FsxB5wpeWL0tbiPDPynhmTn4tiyAnYlH8FGuoxDMlgbdtpbvY+Bzlb0MF Zjew==
X-Gm-Message-State: APjAAAWwiWNEV0j6Na5QD8SbZaGlhOKI/RO7+ZecBEGjjlxzx7Xchzms 6bl4izdLWLSNwspDVdvVwR2p0dIY/dRUN5kVsbg=
X-Google-Smtp-Source: APXvYqxiId0l9aTo9Uy2wR0ALhN1ogHDR0MOFd5GIRHKUqSUEwuxnalz9e6+G/g4faWwFpFe59qmYmYAQ+i+McNZbaE=
X-Received: by 2002:a19:dc14:: with SMTP id t20mr11338892lfg.182.1566262325816; Mon, 19 Aug 2019 17:52:05 -0700 (PDT)
MIME-Version: 1.0
References: <CAJK=1RhXp85cz-pOAQPw2JM=CYHgGSygj4Hw0spht56jbzQE2g@mail.gmail.com> <53094378-B559-49E1-B42B-54FBA8BC35AA@tzi.org> <CAJK=1Rj6Q3CvpF9aYML=47SF_XP49=O2hLhcBo8gZCb73C0RAw@mail.gmail.com> <FDB93E41-9D7D-4BF2-8D01-F4D075774848@tzi.org> <CAJK=1RiE_+nHkeB77DericN498w1v9mf2hsBgnQtgsZTVM9N9A@mail.gmail.com> <118F844A-453D-497D-8107-CF2BD05AC313@tzi.org> <CAJK=1Rgqek+rh+dj2xNWD7WKS48oQoHiqhj5dDT2D3dD7OZs1Q@mail.gmail.com> <CALH+fvpwM1hRByXv1y0UwUYPwKcb2JZT4v5qqZVeySFvEo-Z7A@mail.gmail.com> <CAJK=1RjJUzrpL+=t+5sXAnkYBDKpNazZCViY=PZt7qFFcN2t3g@mail.gmail.com>
In-Reply-To: <CAJK=1RjJUzrpL+=t+5sXAnkYBDKpNazZCViY=PZt7qFFcN2t3g@mail.gmail.com>
From: Richard Gibson <richard.gibson@gmail.com>
Date: Mon, 19 Aug 2019 20:51:54 -0400
Message-ID: <CALH+fvqsn_purpNR8KHRe9GtdVizzDCbOSDTK8SMJc-8of-x8w@mail.gmail.com>
To: Ulysse Carion <ulysse@segment.com>
Cc: Carsten Bormann <cabo@tzi.org>, JSON WG <json@ietf.org>
Content-Type: multipart/alternative; boundary="0000000000008e2fea059081ddc6"
Archived-At: <https://mailarchive.ietf.org/arch/msg/json/FCrC0R0uT-TvCOJTedetRKvDYvY>
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: Tue, 20 Aug 2019 00:52:09 -0000

An "int53" type or other means of requiring that a JSON number have zero
fractional part and magnitude no greater than 2^53.

On Mon, Aug 19, 2019 at 4:46 PM Ulysse Carion <ulysse@segment.com> wrote:

> > But is the portability argument not sufficient for including such a
> constraint, as it was for I-JSON?
>
> What constraint are you referring to here?
> On Sun, Aug 18, 2019 at 6:32 PM Richard Gibson <richard.gibson@gmail.com>
> wrote:
> >
> > On Sat, Aug 17, 2019 at 9:35 PM Ulysse Carion <ulysse@segment.com>
> wrote:
> >>
> >> no mainstream language I know of has support for integers strictly up
> to 2^53
> >
> >
> > From a certain point of view, nearly all mainstream languages do so,
> because that is the maximum value in the range of contiguous IEEE 754
> binary64 integers and thus the upper bound on portable integers (which is
> why RFC 7493 section 2.2 limits I-JSON numbers to being strictly less than
> it). But you're right that languages have no int53-specific type, because
> those with specific integer types have at least the larger range of int64
> and those without them have the larger reduced-precision range of binary64.
> But is the portability argument not sufficient for including such a
> constraint, as it was for I-JSON?
>

v2.23.0 | Report a Bug | By Email