Re: [Json] Nudging the English-language vs. formalisms discussion forward

Barry Leiba <barryleiba@computer.org> Wed, 19 February 2014 22:32 UTC

Return-Path: <barryleiba@gmail.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 4D0C51A02A1 for <json@ietfa.amsl.com>; Wed, 19 Feb 2014 14:32:20 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.278
X-Spam-Level:
X-Spam-Status: No, score=-1.278 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, FM_FORGED_GMAIL=0.622, FREEMAIL_FROM=0.001, SPF_PASS=-0.001] 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 L0gHTPTOtWQa for <json@ietfa.amsl.com>; Wed, 19 Feb 2014 14:32:19 -0800 (PST)
Received: from mail-qa0-x22f.google.com (mail-qa0-x22f.google.com [IPv6:2607:f8b0:400d:c00::22f]) by ietfa.amsl.com (Postfix) with ESMTP id 1A3581A0239 for <json@ietf.org>; Wed, 19 Feb 2014 14:32:18 -0800 (PST)
Received: by mail-qa0-f47.google.com with SMTP id j5so1685825qaq.20 for <json@ietf.org>; Wed, 19 Feb 2014 14:32:15 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc:content-type; bh=1aPL24EUUT9qBcePOeNirGtvp1/nYYx+01lgNIm+bbc=; b=DW16DxFWUoVcSjqTMOkNBWHTQfEVPMqkimguQme8/NtP0V743TcY2VD9fVN5BekCGj tTTpHxc64MoDiKQwy1k2oRPiyb6sP2yIvkzeixrAWtQMhtGO/YV91flhcfkmNyPOFIO6 M3xUF4wmob0Wz8DZTOvGwdp+Z2MEz+NInjfJEujs3F8E1H5OLcEetX9KJiCX5FAg1uLn hrKixYAXSYjAlDe935GQE2U7YWibnp1w1mVroe2myOGvvVTO5QASo07jfHzGmlWYWu5N hWPKelhES0Zmq7d3sFTQ1nxetEBPMGnvp25L/B8zEDnGtwMRW2gRylFqNndOiNgfLYUo Gg8A==
MIME-Version: 1.0
X-Received: by 10.229.98.129 with SMTP id q1mr54077829qcn.3.1392849135602; Wed, 19 Feb 2014 14:32:15 -0800 (PST)
Sender: barryleiba@gmail.com
Received: by 10.224.26.11 with HTTP; Wed, 19 Feb 2014 14:32:15 -0800 (PST)
In-Reply-To: <CAMm+LwiCHt2NLW8AV93Tzh=hUXGT7SWM8W5zXSehmBF+nEMCkw@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> <CAC4RtVDLQ3q5KxG+jDYfDB09JZUOBcojTR3ebxhr1QUOXLeEvA@mail.gmail.com> <CAMm+LwiCHt2NLW8AV93Tzh=hUXGT7SWM8W5zXSehmBF+nEMCkw@mail.gmail.com>
Date: Wed, 19 Feb 2014 17:32:15 -0500
X-Google-Sender-Auth: T4lSnAhikoynh9RajRK96AUuxK0
Message-ID: <CALaySJK2iz3hKFNJbt99ipgADQiyxUC9F7xLMt=SGMm5oTKiJw@mail.gmail.com>
From: Barry Leiba <barryleiba@computer.org>
To: Phillip Hallam-Baker <hallam@gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
Archived-At: http://mailarchive.ietf.org/arch/msg/json/tovYNN4LNa1EgN8QCExfLA1j3oo
Cc: JSON WG <json@ietf.org>
Subject: Re: [Json] 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: Wed, 19 Feb 2014 22:32:20 -0000

> What I think is going to be very hard is proving that a given Y is a subset
> of X. And if we do that we risk having specifications that are not actually
> JSON but only JSON-like.
>
> Unless that is we start off with a tool that generates Y in a fashion that
> makes it easy to check that it is a subset of X.

Oh, I absolutely think that tools to support this are a big help!

Barry