Re: empty lists, was: Benjamin Kaduk's Discuss on draft-ietf-httpbis-header-structure-18: (with DISCUSS and COMMENT)

Julian Reschke <julian.reschke@gmx.de> Tue, 19 May 2020 12:48 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 5DC4D3A09D3 for <ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com>; Tue, 19 May 2020 05:48:43 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.748
X-Spam-Level:
X-Spam-Status: No, score=-0.748 tagged_above=-999 required=5 tests=[DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.249, MAILING_LIST_MULTI=-1, RCVD_IN_DNSWL_BLOCKED=0.001, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=gmx.net
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 g8aNKqxdYwYI for <ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com>; Tue, 19 May 2020 05:47:40 -0700 (PDT)
Received: from lyra.w3.org (lyra.w3.org [128.30.52.18]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 2B4113A0954 for <httpbisa-archive-bis2Juki@lists.ietf.org>; Tue, 19 May 2020 05:47:40 -0700 (PDT)
Received: from lists by lyra.w3.org with local (Exim 4.92) (envelope-from <ietf-http-wg-request@listhub.w3.org>) id 1jb1c8-0001CD-8z for ietf-http-wg-dist@listhub.w3.org; Tue, 19 May 2020 12:44:56 +0000
Resent-Date: Tue, 19 May 2020 12:44:56 +0000
Resent-Message-Id: <E1jb1c8-0001CD-8z@lyra.w3.org>
Received: from titan.w3.org ([128.30.52.76]) by lyra.w3.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from <julian.reschke@gmx.de>) id 1jb1c7-00019A-B7 for ietf-http-wg@listhub.w3.org; Tue, 19 May 2020 12:44:55 +0000
Received: from mout.gmx.net ([212.227.15.15]) by titan.w3.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from <julian.reschke@gmx.de>) id 1jb1c5-0000FG-8S for ietf-http-wg@w3.org; Tue, 19 May 2020 12:44:55 +0000
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1589892268; bh=4ihjF3C+yoWO9C0vZJjcUaQhiqCJ7nn8L6vXBaCOM5g=; h=X-UI-Sender-Class:Subject:To:Cc:References:From:Date:In-Reply-To; b=SkDZSWppWarrJr4LfeEiT7f+UNybmtIqYF2tGUwjG9Ce5ZpdDTTH8KUqvP9zX2lk3 8Bv3JvQzdJuIIGTqN+1DeqQ8gO92GWjEdXxGlOnE7nTM2T8/4zUBjEm6/AfDIuz7PY M5uBab3RW7IQHRi/OspEGqXZe5RLHlx3Z1oyi3dM=
X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c
Received: from [192.168.1.220] ([217.91.35.233]) by mail.gmx.com (mrgmx004 [212.227.17.190]) with ESMTPSA (Nemesis) id 1M72sP-1jhtER2bEt-008Xs1; Tue, 19 May 2020 14:44:28 +0200
To: Mark Nottingham <mnot@mnot.net>
Cc: Benjamin Kaduk <kaduk@mit.edu>, The IESG <iesg@ietf.org>, draft-ietf-httpbis-header-structure@ietf.org, httpbis-chairs@ietf.org, HTTP Working Group <ietf-http-wg@w3.org>, Tommy Pauly <tpauly@apple.com>
References: <158985680600.32294.14997877272521602557@ietfa.amsl.com> <CFC9B0CA-6125-4705-A13E-F2260F3EC3A5@mnot.net> <72f8f124-0965-5c79-4bb6-92370b8b579e@gmx.de> <E3592F32-7E19-4340-A2F0-E402B9C749D8@mnot.net>
From: Julian Reschke <julian.reschke@gmx.de>
Message-ID: <4a5aef31-4b90-25c7-0aa0-7b0de685eb56@gmx.de>
Date: Tue, 19 May 2020 14:44:27 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.8.0
MIME-Version: 1.0
In-Reply-To: <E3592F32-7E19-4340-A2F0-E402B9C749D8@mnot.net>
Content-Type: text/plain; charset="utf-8"; format="flowed"
Content-Language: en-US
Content-Transfer-Encoding: quoted-printable
X-Provags-ID: V03:K1:Mxklc2NaTBwsA1toXj1mANXEmKosyxZMWmclcDbUaMKasuZuAg/ H2YrYm9gxpqsOGKzXZQra9EqGAMwBtujxol4v6efGC8xs3klMH5nN8h4tV4Xxu6IEAiCk0U 25F39AlCLL9kwUNDmAaZgrNMuvBtYPsSdWyomo+YdzMVFTYSsoox7ammDu/B6dVVXAqn9W8 H5QY4fxgOT3/+wHZ2R5Zg==
X-UI-Out-Filterresults: notjunk:1;V03:K0:e3yj0jhIxYQ=:9PY9VSwUC34lRNxX5Vm3cx ENI0GY7Wajnp4S9QEIzKvPuO8blNj64ekqc91plNNAXcncFQv4f4KxXm3U9AzH1qx0nHCTet8 7aQlZVT5cRam0OaIPGK504Qgjd0s+eNjsMaO0bSf9B+bAnPTNcJq7wuxqvN/e23pqBEyakRKq 7AWG+lWPRqaYmtlvT7qFKkTRqHdmmfeFdm6lsBjEI5APEnecoXBto51a6jYrD2a0ahAm/GwO9 3TNw1x1whjeuq97rxpUnG6Jggjavq/StTRVnguudKRHeuZ+JdTLjL8fnbZckqVY/f5T6bVG8O 5z8UTwnhv6QqeCzAlISQI4qFc2GQ4TOkS9ket3rz2H4HAarZZ4hPxBPmF6E6/g4b5ewcubZcI 2v7nLcHNHMK1r5acb9Lfko3+P6llxNRcBZwQDL7Nz40D1kLSwP6HLFY+C0DYVSd2LFSU7HL9L dk2zVX6VwzA5OXcmMKJYW4jsv8RP8q4dWNYo+GzYfaWyghitzVOl4PCFXMhSSHV3ZschI2IvM OeaQjS3bZkKyf32yjinDpZZppFhCIr1JTS6+o9DObf63XtdqRgww+kMs9XtSmsDa+QWQDPsOp fU54jSsKMJ4KlGiCc1+QeVPkHMOMa9Bukj1JKx/nrPaA2NgqydQCA/bd4RpvMV2PDFcTv9xrW 0j9wKN5OTq0VWomUj3sgFvgkxcPjPyAeCpRYLzv4FDagGbNtWgQjF0J3GWZurN2Nq2+/3slo3 4JSQgmaQJIsHCCIu/Aoj79LVaR9Z4eZ3tefUSw0efJNAWJXm8IVk/r7Pig76W4um73zRyuvKP zQ+COhvl09zSBeJihExBnUk7j90s3Is3Zfs4nWFvk/Rp1/1Bmz0iAI85iBGSCJY9JpBGydZ5B csHtk3EMAmisv7kMQKyXisl94t+tIf7PLYBzGHk5E3hH3eB6L8BP179WEcgJJs4zM4A8hJ3Yl JN/r45XEMjNn+3YQih6MFNQ0SJdY9qZeNmha4MtOKIvesn2kzND+CbShLCFEfJMU1pFHsm/Na x09/Ln1sz3AY1lobOQp+wFQ27arg6napxXcMwjL+CoForJhuSEDSbinegl6Hqdm4iwrIMFcbT ZKGh3y5YIJbIB3sa+gvdMHAlXj76ykiQYGhu9T5zy5EpDWUopBOVykwRySy8CrEyCV4Cl4llP tKnoPvvjTLAGRkAuWuCa3R4yC+r5Qz6UaXsEPdc5F6EuDNr37Kxbq4A6qkcwccrXBrLHJqI2U 18TkcZuyvSFZWw0hP
Received-SPF: pass client-ip=212.227.15.15; envelope-from=julian.reschke@gmx.de; helo=mout.gmx.net
X-W3C-Hub-Spam-Status: No, score=-5.6
X-W3C-Hub-Spam-Report: BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, W3C_AA=-1, W3C_IRA=-1, W3C_WL=-1
X-W3C-Scan-Sig: titan.w3.org 1jb1c5-0000FG-8S f58b1a6ac71849eb8cc4010432984bf5
X-Original-To: ietf-http-wg@w3.org
Subject: Re: empty lists, was: Benjamin Kaduk's Discuss on draft-ietf-httpbis-header-structure-18: (with DISCUSS and COMMENT)
Archived-At: <https://www.w3.org/mid/4a5aef31-4b90-25c7-0aa0-7b0de685eb56@gmx.de>
Resent-From: ietf-http-wg@w3.org
X-Mailing-List: <ietf-http-wg@w3.org> archive/latest/37668
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: <https://www.w3.org/Mail/>
List-Post: <mailto:ietf-http-wg@w3.org>
List-Unsubscribe: <mailto:ietf-http-wg-request@w3.org?subject=unsubscribe>

On 19.05.2020 14:20, Mark Nottingham wrote:
> On 19 May 2020, at 8:04 pm, Julian Reschke <julian.reschke@gmx.de> wrote:
>>
>> It really doesn't help a lot with the case of:
>>
>>   Foo:
>>
>> What's the point in disallowing this in the ABNF (and on the wire) when
>> the normative parsing algorithm will accept it?
>
> As has been said many times, the ABNF in the specification is not normative; it's illustrative. The proposed edit clarifies that. If that's still felt to be confusing, the right thing to do would be to remove ABNF from the spec completely, to avoid the confusion. I'm happy to do that if the IESG wishes so.

I get that. What I'm saying is that this is confusing, and that there
would be less confusion if the ABNF simply allowed empty lists.

WRT removing the ABNF: please, no. Absent the ABNF, the algorithms are
the only thing to look at, and they really only help if you implement them.

> Julian, you've had many opportunities to bring this up before (having participated in the original issue about empty lists). It would have been much more helpful if you'd expressed your concerns earlier -- even during WGLC -- instead of after IETF LC.

You might recall that during WGLC I pointed out that it's extremely hard
to review the algorithms without actually implementing them, that's why
I wasn't aware of the issue
(<https://lists.w3.org/Archives/Public/ietf-http-wg/2020JanMar/0138.html>).

I now actually *did* implement the spec so to be able to properly review
it. So please don't shoot the messenger, in particular if the feedback
comes just a few days after end of LC (which, FWIW and as a reminder,
was not announced on the WG mailing list).

Best regards, Julian