IETF Logo Mail Archive

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

Richard Gibson <richard.gibson@gmail.com> Mon, 19 August 2019 01:32 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 95AE512007A for <json@ietfa.amsl.com>; Sun, 18 Aug 2019 18:32:27 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.998
X-Spam-Level:
X-Spam-Status: No, score=-1.998 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] 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 vPJ3BXpQPuqC for <json@ietfa.amsl.com>; Sun, 18 Aug 2019 18:32:26 -0700 (PDT)
Received: from mail-lj1-x22d.google.com (mail-lj1-x22d.google.com [IPv6:2a00:1450:4864:20::22d]) (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 20439120052 for <json@ietf.org>; Sun, 18 Aug 2019 18:32:26 -0700 (PDT)
Received: by mail-lj1-x22d.google.com with SMTP id x3so185915lji.5 for <json@ietf.org>; Sun, 18 Aug 2019 18:32:26 -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=RyyqAuD9puwVYR7iLsUmRbknum3TQnBC/8F2YRg55Xw=; b=i/B8t8kYZWwoTKTYNr2+b3QD0B9xNsfNOEsyohkbzGsanvHWv8k+J7UZgKpbvVoa+A bhiYxSIOSfOAQ+q2Szxta6IYqIMiDUDEZISMMt4ZX0VXYudv7BM8u9xIpqH2LDtFCRm6 3acoXwJI8LcC0bq67CRA5KWaxA8UQf6AfJePE80I3oPZRWxsVjsnFjdWHWUriTD7w0Gp +vIKdWp98s7B70ZUrdywFv1TdnAMsUEOzzB+GuBi/7CvAoWB6B/UogGcwXjK9efkqTU/ STYmPUf48DI2xc1kR5w+gWNoNDkFZoHU/p5hXZaecm70paau2ueetnB2L6+9jRpnk9Ht dAoQ==
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=RyyqAuD9puwVYR7iLsUmRbknum3TQnBC/8F2YRg55Xw=; b=J/7zTXjLUPnD9f10J17icP/M+j+Q6us9ANLhmGcGAi8yA7KZSzMreGRuCNw6ZI4FQ6 bSgoZOau42WcbRpec4w6e6vANM2hMnnYvt3UhdHjdr6nQm/8lpLSpWW6DRLiH4ytsd1l g79xadhjomKm2KNW9g8Nlr2BuHKh3efope3zx+rJcEBA74j3gwQL7eyXC8y8sv7iHvVL kbKyb7zP8Q7lLWNhoyUiPVti+7wsqraFVyoliLSWP7eUPjq2cqOymWJCbK4bSI/OPRK/ 3PmM1pMfALqMZivFqlro5PwIB6q88XypxtibwAfI+ycqY5+J001yMS2b69e1jBwxIsXN DIkQ==
X-Gm-Message-State: APjAAAXtNK7+j74hkSb4T6QBdVUcbQ+DoFuKoeit6fSsK5TA3DI0gisX +FDNb3cMS9dlcFR1K0nNBlwgQkvpJplxqfCpUDY=
X-Google-Smtp-Source: APXvYqyRybWEYV2GmaztqfeWUGpfKcza4IdTL489yMgxdTnzNvVaaVMGHwYumIYvo2HGAcM+fb+qDkSW9QL1D8JDB+k=
X-Received: by 2002:a2e:864c:: with SMTP id i12mr10894407ljj.88.1566178344344; Sun, 18 Aug 2019 18:32:24 -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>
In-Reply-To: <CAJK=1Rgqek+rh+dj2xNWD7WKS48oQoHiqhj5dDT2D3dD7OZs1Q@mail.gmail.com>
From: Richard Gibson <richard.gibson@gmail.com>
Date: Sun, 18 Aug 2019 21:32:13 -0400
Message-ID: <CALH+fvpwM1hRByXv1y0UwUYPwKcb2JZT4v5qqZVeySFvEo-Z7A@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="000000000000dea11505906e4f07"
Archived-At: <https://mailarchive.ietf.org/arch/msg/json/APXK8UZ6oc65RCb6AOhNxkrd5pg>
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, 19 Aug 2019 01:32:28 -0000

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