Re: JSON headers

"Poul-Henning Kamp" <phk@phk.freebsd.dk> Sat, 09 July 2016 21:30 UTC

Return-Path: <ietf-http-wg-request+bounce-httpbisa-archive-bis2juki=lists.ie@listhub.w3.org>
X-Original-To: ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com
Delivered-To: ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 7C2F512B065 for <ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com>; Sat, 9 Jul 2016 14:30:46 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -6.308
X-Spam-Level:
X-Spam-Status: No, score=-6.308 tagged_above=-999 required=5 tests=[HEADER_FROM_DIFFERENT_DOMAINS=0.001, RCVD_IN_DNSWL_HI=-5, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, RP_MATCHES_RCVD=-1.287, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=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 UiIqkJZtPsBE for <ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com>; Sat, 9 Jul 2016 14:30:45 -0700 (PDT)
Received: from frink.w3.org (frink.w3.org [128.30.52.56]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id CA5EE12B01E for <httpbisa-archive-bis2Juki@lists.ietf.org>; Sat, 9 Jul 2016 14:30:44 -0700 (PDT)
Received: from lists by frink.w3.org with local (Exim 4.80) (envelope-from <ietf-http-wg-request@listhub.w3.org>) id 1bLzlp-00006F-Fr for ietf-http-wg-dist@listhub.w3.org; Sat, 09 Jul 2016 21:26:41 +0000
Resent-Date: Sat, 09 Jul 2016 21:26:41 +0000
Resent-Message-Id: <E1bLzlp-00006F-Fr@frink.w3.org>
Received: from lisa.w3.org ([128.30.52.41]) by frink.w3.org with esmtps (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.80) (envelope-from <phk@phk.freebsd.dk>) id 1bLzlm-00005T-D4 for ietf-http-wg@listhub.w3.org; Sat, 09 Jul 2016 21:26:38 +0000
Received: from phk.freebsd.dk ([130.225.244.222]) by lisa.w3.org with esmtp (Exim 4.80) (envelope-from <phk@phk.freebsd.dk>) id 1bLzlk-0002jd-HG for ietf-http-wg@w3.org; Sat, 09 Jul 2016 21:26:37 +0000
Received: from critter.freebsd.dk (unknown [192.168.55.3]) by phk.freebsd.dk (Postfix) with ESMTP id B319A273B3; Sat, 9 Jul 2016 21:26:14 +0000 (UTC)
Received: from critter.freebsd.dk (localhost [127.0.0.1]) by critter.freebsd.dk (8.15.2/8.15.2) with ESMTP id u69LQCTa002147; Sat, 9 Jul 2016 21:26:13 GMT (envelope-from phk@phk.freebsd.dk)
To: Tim Bray <tbray@textuality.com>
cc: HTTP Working Group <ietf-http-wg@w3.org>
In-reply-to: <CAHBU6iurgyL9r3io+0yx8Uqpd7g40e0KJfhkNSLgmj+9HKr_5w@mail.gmail.com>
From: Poul-Henning Kamp <phk@phk.freebsd.dk>
References: <74180.1468000149@critter.freebsd.dk> <CAHBU6iurgyL9r3io+0yx8Uqpd7g40e0KJfhkNSLgmj+9HKr_5w@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <2145.1468099572.1@critter.freebsd.dk>
Content-Transfer-Encoding: quoted-printable
Date: Sat, 09 Jul 2016 21:26:12 +0000
Message-ID: <2146.1468099572@critter.freebsd.dk>
Received-SPF: none client-ip=130.225.244.222; envelope-from=phk@phk.freebsd.dk; helo=phk.freebsd.dk
X-W3C-Hub-Spam-Status: No, score=-6.0
X-W3C-Hub-Spam-Report: AWL=-0.804, BAYES_00=-1.9, RP_MATCHES_RCVD=-1.287, W3C_AA=-1, W3C_WL=-1
X-W3C-Scan-Sig: lisa.w3.org 1bLzlk-0002jd-HG b4e47fd147cfba3b38823dcbf736d9d8
X-Original-To: ietf-http-wg@w3.org
Subject: Re: JSON headers
Archived-At: <http://www.w3.org/mid/2146.1468099572@critter.freebsd.dk>
Resent-From: ietf-http-wg@w3.org
X-Mailing-List: <ietf-http-wg@w3.org> archive/latest/31851
X-Loop: ietf-http-wg@w3.org
Resent-Sender: ietf-http-wg-request@w3.org
Precedence: list
List-Id: <ietf-http-wg.w3.org>
List-Help: <http://www.w3.org/Mail/>
List-Post: <mailto:ietf-http-wg@w3.org>
List-Unsubscribe: <mailto:ietf-http-wg-request@w3.org?subject=unsubscribe>

--------
In message <CAHBU6iurgyL9r3io+0yx8Uqpd7g40e0KJfhkNSLgmj+9HKr_5w@mail.gmail.com>
, Tim Bray writes:

>I'm actually not convinced that the lack of a good way to declaratively
>specify a JSON DSL, for example for HTTP headers, is that big of a
>problem.  Schemas are overrated.  Clear English prose is under-rated.

... and under-available.

That argument would also be more convincing if ABNF was used less in RFCs :-)

But anyway we do it, formally or with (un)clear English, we need
to convince ourselves that there is usable way to specify HTTP
headers comprehensively using JSON.

Best way to do that, is to write up complete specifications for a
couple of nontrivial headers.

And if none of the present formal tools/languages for specifying
JSON are workable, we should seriously consider if we want JSON-lite
instead of the full monty, so that the can be made to work.

-- 
Poul-Henning Kamp       | UNIX since Zilog Zeus 3.20
phk@FreeBSD.ORG         | TCP/IP since RFC 956
FreeBSD committer       | BSD since 4.3-tahoe    
Never attribute to malice what can adequately be explained by incompetence.