Re: [Json] Schema Requirements (Was: Re: Nudging the English-language vs. formalisms discussion forward)

Nico Williams <nico@cryptonector.com> Thu, 20 February 2014 17:52 UTC

Return-Path: <nico@cryptonector.com>
X-Original-To: json@ietfa.amsl.com
Delivered-To: json@ietfa.amsl.com
Received: from localhost (ietfa.amsl.com [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 10DED1A0053 for <json@ietfa.amsl.com>; Thu, 20 Feb 2014 09:52:11 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.378
X-Spam-Level:
X-Spam-Status: No, score=-1.378 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FM_FORGED_GMAIL=0.622, RCVD_IN_DNSWL_NONE=-0.0001] autolearn=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 4oo9KhtK5ugm for <json@ietfa.amsl.com>; Thu, 20 Feb 2014 09:52:10 -0800 (PST)
Received: from homiemail-a35.g.dreamhost.com (mailbigip.dreamhost.com [208.97.132.5]) by ietfa.amsl.com (Postfix) with ESMTP id AF9041A021D for <json@ietf.org>; Thu, 20 Feb 2014 09:52:08 -0800 (PST)
Received: from homiemail-a35.g.dreamhost.com (localhost [127.0.0.1]) by homiemail-a35.g.dreamhost.com (Postfix) with ESMTP id 36E7C5407C for <json@ietf.org>; Thu, 20 Feb 2014 09:52:05 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=cryptonector.com; h= mime-version:in-reply-to:references:date:message-id:subject:from :to:cc:content-type; s=cryptonector.com; bh=o6Xzxl/BLjYtSbukdLJG FfPOMuQ=; b=sT9iJYCN3beTae6qKFQaE0fKvYLOyWYtxyc0aE5R4MGp1ybGTfVA UFnYl6X4q05OMr3rK4qDU9rNnqiOEWADoudTNXoWCsnZPLU1t8Ygapj+k6d8u8h6 JlfgNrVDg0ACodyWkm+uwGvnaNyG6f1gk+OWpcj4oJD9ZR8AsQ7QZjo=
Received: from mail-wg0-f49.google.com (mail-wg0-f49.google.com [74.125.82.49]) (using TLSv1 with cipher RC4-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: nico@cryptonector.com) by homiemail-a35.g.dreamhost.com (Postfix) with ESMTPSA id DD4615407A for <json@ietf.org>; Thu, 20 Feb 2014 09:52:04 -0800 (PST)
Received: by mail-wg0-f49.google.com with SMTP id y10so1706602wgg.4 for <json@ietf.org>; Thu, 20 Feb 2014 09:52:03 -0800 (PST)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=hFydLdH/MDOayLOsav7eAUnOpEKkCtm8WUlRZR5rxgk=; b=CjF7bymaSnqHhe/X+uDFMkENNCaCM6pkkPAvlDKdF9scaRUYw98w40rVFVY2P+OkdZ WQ0xpHxs+NRPplIQCuQZm8BqymwOBl/l/p35VQ4I2w8iiA2s0N90YPiwt0La8n4vd46Q L3cLvCCRt+oMGODRpf6qS65BHcM2snInJFxo7QFhjOyiT6qoLJApg/XTGFWCtIWCJPGC Ha7QRzVBaOxQ15a/+7nRDzrutZcrt0a/fStDfFGpUpcSqMZVv9qEP6Q0opQChHa/BYZB jasp1PPenbBSbKQxQGJghoXUpyyO8AHzaD9FyHJly5ZFsevcEgzIqMmB+wHIXLZCCPlu cKFQ==
MIME-Version: 1.0
X-Received: by 10.194.104.39 with SMTP id gb7mr3221395wjb.69.1392918723491; Thu, 20 Feb 2014 09:52:03 -0800 (PST)
Received: by 10.217.108.132 with HTTP; Thu, 20 Feb 2014 09:52:03 -0800 (PST)
In-Reply-To: <CAMm+Lwg2c-tVu2-HdarSoa6Gi0OM36uWW-14tRWBYn_CkPtYmg@mail.gmail.com>
References: <C87F9B96-E028-4F0E-A950-B39D3F68FFE7@vpnc.org> <CAMm+LwhUh_yN-hzaoDWfrO_H2iGvYvj99BCE4EcYmgqCPqXoVQ@mail.gmail.com> <CAHBU6itpttXBfVQGKw=u==k_XSdrht81+m_YDNZP6RM+=9CNow@mail.gmail.com> <CAK3OfOjHkBFOzJSx=bhhoQJ8Z2bWyEXK52dNyYGWVb9FAj99ow@mail.gmail.com> <CAHBU6itzQ0rzU3EUYUqzm2qhx03qk1mpx2sehS_zeiw1ypcEgw@mail.gmail.com> <CAK3OfOhfjkbq6eREkt=MBVL1C9ubh-6My3Lvg-mnOxD0+cpN1Q@mail.gmail.com> <CAHBU6isZbew8O1HJ+XcFsMCR42iDoO_uemPXVwa3=vM5A=MngA@mail.gmail.com> <CAK3OfOgmVsNJqrqCfsD7h37axssOoaX3DGHqO=bTn5bWrA+MFA@mail.gmail.com> <A4B53816-6FBF-4A37-8BC9-F0A9D0867BCD@tzi.org> <357740A8AA0F4316BE630917321FAB4D@codalogic> <B1EBE05A69362F001777F807@cyrus.local> <47BB9131737D42218A6382DEF45BBE2C@codalogic> <CAMm+LwgmHjoLu2=zTOERN8LO74hWpp45yy2epd2JzqDRM9oFfg@mail.gmail.com> <AF211B67DB3D453D9DE8F8FA53886F73@codalogic> <CAMm+LwguTBkGQBHN+e2kU6XxECsic9Kcvda+7X6KDNe0TQxq4w@mail.gmail.com> <FE06CD427A4044B995F57C4926A1C8C2@codalogic> <CAMm+Lwg2c-tVu2-HdarSoa6Gi0OM36uWW-14tRWBYn_CkPtYmg@mail.gmail.com>
Date: Thu, 20 Feb 2014 11:52:03 -0600
Message-ID: <CAK3OfOgOdRQ_p8MKc-Q9RZL-WegisHYLJvQFzteFKgJ6-S7oAA@mail.gmail.com>
From: Nico Williams <nico@cryptonector.com>
To: Phillip Hallam-Baker <hallam@gmail.com>
Content-Type: text/plain; charset=UTF-8
Archived-At: http://mailarchive.ietf.org/arch/msg/json/OE0wZ1UX4kLFqzpc3WmDZDuGnhE
Cc: Carsten Bormann <cabo@tzi.org>, Pete Cordell <petejson@codalogic.com>, JSON WG <json@ietf.org>
Subject: Re: [Json] Schema Requirements (Was: Re: Nudging the English-language vs. formalisms discussion forward)
X-BeenThere: json@ietf.org
X-Mailman-Version: 2.1.15
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: <http://www.ietf.org/mail-archive/web/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: Thu, 20 Feb 2014 17:52:11 -0000

On Thu, Feb 20, 2014 at 11:23 AM, Phillip Hallam-Baker <hallam@gmail.com> wrote:
> On Thu, Feb 20, 2014 at 11:55 AM, Pete Cordell <petejson@codalogic.com>
> wrote:
>> My position is that, having recognised that Dates represent a case where
>> microformats are useful, perhaps we should not assume that these are the
>> only cases.  IP addresses?  Crypto OIDs?  Dates on Mars?
>
> All I am saying is that it is a slippery slope.
>
> There are two ways to go down a slippery slope, not at all or on skis.

This sounds to me like an argument about how to handle extensibility.
We should first consider whether we want schema extensibility and if
we do, whether we want it to be explicit (like the ... extensibility
marker in ASN.1) or implicit (like implicit ... ASN.1 extensibility
markers in every type).

My position: we should want extensibility, and it should be explicit
(because having every type be implicitly extensible is a PITA for code
generation).

Nico
--