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

Nico Williams <nico@cryptonector.com> Wed, 19 February 2014 23:20 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 76A501A02E5 for <json@ietfa.amsl.com>; Wed, 19 Feb 2014 15:20:08 -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 tMiNZgRMlyt9 for <json@ietfa.amsl.com>; Wed, 19 Feb 2014 15:20:07 -0800 (PST)
Received: from homiemail-a95.g.dreamhost.com (caiajhbdcbhh.dreamhost.com [208.97.132.177]) by ietfa.amsl.com (Postfix) with ESMTP id 6A0301A02BE for <json@ietf.org>; Wed, 19 Feb 2014 15:20:07 -0800 (PST)
Received: from homiemail-a95.g.dreamhost.com (localhost [127.0.0.1]) by homiemail-a95.g.dreamhost.com (Postfix) with ESMTP id 325261E064 for <json@ietf.org>; Wed, 19 Feb 2014 15:20:04 -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=K3yMKdAJrfZJzFRUe7vA RQBWyqc=; b=Ugyj2niCPXewGM+CkyJ3sqbVxHaa2FhceElPfCLvEd6MpOoXMpF5 F2VKDBEHjfhxx5XYCPg5E+JO1lctsKSte8K8+EAmVfjOXm9kSKCjJ9HdH87FY/RN rgyQ9gOhTxfJWMO0hnLUCZ3ragfUKaF+AekEhRGZECGRyvwfAwyFlSw=
Received: from mail-wg0-f46.google.com (mail-wg0-f46.google.com [74.125.82.46]) (using TLSv1 with cipher RC4-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: nico@cryptonector.com) by homiemail-a95.g.dreamhost.com (Postfix) with ESMTPSA id B83C31E05C for <json@ietf.org>; Wed, 19 Feb 2014 15:20:03 -0800 (PST)
Received: by mail-wg0-f46.google.com with SMTP id x13so885253wgg.13 for <json@ietf.org>; Wed, 19 Feb 2014 15:20:02 -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=igj8xoDjfOFg3bcgoIs/CH/1dsWia+xEVxK7mITLVXE=; b=E2ZoYBEoA9RWnVXFFeLM9Ct7tD+Pzd2adsheAk2pjKygi+G5edVGaqLBnsizHZr6sy jM2EvzDURWAvNQhFnJApSOSyQf8UYlhUIV16gzVEq6HXfanux8NNM5zqHh9PIgvcKo4N aQuAuCnBgidWfxXHT/CH5JMv368++CitzqMyF/JwyHBpDSqDkHEk8jPmHMfAzxcY7vLq qzkGqFhPfH+h+CDRQ4HEYa8o4MQH7O7wiF3/fW0nbA5W53h6hK0AiJsxuuU9sqDHeLxb PEIaiEkEniqgTnOCjniFDaRKp7ym+Cta8A8AXFNhpMfhFbQVLiKtMMigpHwLze4t14By 1LOg==
MIME-Version: 1.0
X-Received: by 10.180.102.42 with SMTP id fl10mr4041782wib.42.1392852002367; Wed, 19 Feb 2014 15:20:02 -0800 (PST)
Received: by 10.217.108.132 with HTTP; Wed, 19 Feb 2014 15:20:02 -0800 (PST)
In-Reply-To: <rvcag9tv4cn6jioncd1rmmc19gcm59l6e9@hive.bjoern.hoehrmann.de>
References: <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> <rvcag9tv4cn6jioncd1rmmc19gcm59l6e9@hive.bjoern.hoehrmann.de>
Date: Wed, 19 Feb 2014 17:20:02 -0600
Message-ID: <CAK3OfOgOghu_4jxHuoDSnHbyJJRu=xa_YBmgO92CMspMQApceg@mail.gmail.com>
From: Nico Williams <nico@cryptonector.com>
To: Bjoern Hoehrmann <derhoermi@gmx.net>
Content-Type: text/plain; charset=UTF-8
Archived-At: http://mailarchive.ietf.org/arch/msg/json/fgqK6kHf-fR7if63PiNy8tjhcog
Cc: Barry Leiba <barryleiba@computer.org>, Phillip Hallam-Baker <hallam@gmail.com>, 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 23:20:08 -0000

On Wed, Feb 19, 2014 at 4:57 PM, Bjoern Hoehrmann <derhoermi@gmx.net> wrote:
> The main problem with using ABNF for Y is that it is tedious to write it
> out properly, [...]

Some problems with ABNF beyond the ones you mention:

 - ABNF is a grammar for strings, but we're dealing with
already-parsed (notionally) JSON texts.  Augmenting the JSON ABNF to
specify a JSON message sounds painful.

 - Generating anything more than a recognizer/validator from ABNF is
difficult or difficult to use the results.

ABNF has its uses; this isn't one of them.

Nico
--