Re: [Extra] AD review of draft-ietf-extra-imap-status-size-01

Arnt Gulbrandsen <arnt@gulbrandsen.priv.no> Tue, 15 May 2018 09:46 UTC

Return-Path: <arnt@gulbrandsen.priv.no>
X-Original-To: extra@ietfa.amsl.com
Delivered-To: extra@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 4388D12D7F9 for <extra@ietfa.amsl.com>; Tue, 15 May 2018 02:46:27 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2
X-Spam-Level:
X-Spam-Status: No, score=-2 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=gulbrandsen.priv.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 XHvZp_0VtiO9 for <extra@ietfa.amsl.com>; Tue, 15 May 2018 02:46:25 -0700 (PDT)
Received: from strange.aox.org (strange.aox.org [IPv6:2001:4d88:100c::1]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 1646012D883 for <extra@ietf.org>; Tue, 15 May 2018 02:46:23 -0700 (PDT)
Received: from fri.gulbrandsen.priv.no (localhost [127.0.0.1]) by strange.aox.org (Postfix) with ESMTP id 64A9CCEC001; Tue, 15 May 2018 09:46:21 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gulbrandsen.priv.no; s=mail; t=1526377581; bh=oUt7khnFF/yDADltiHAkuHuN1PtY5paraLedftAchP8=; h=From:To:Subject:Date:In-Reply-To:References:From; b=qyPvFl8vVHkahHeifgodSv+fTTXzfoRlWMmJ8qzyI1As3UnFbdu6RNNZMh3B5ia85 fHAexQd6+Lj6uJbZGCKu+RLnSC4C6AJaa6RWuk50oEQY67N/Mx9Vja8UP9fi1vzrFW qmjssQnG9/OXjzw4CyP9YgGfCdwo8qgoo+raviKE=
Received: from arnt@gulbrandsen.priv.no by fri.gulbrandsen.priv.no (Archiveopteryx 3.2.0) with esmtpsa id 1526377580-15100-19769/11/9; Tue, 15 May 2018 09:46:20 +0000
From: Arnt Gulbrandsen <arnt@gulbrandsen.priv.no>
To: extra@ietf.org
Date: Tue, 15 May 2018 11:46:19 +0200
Mime-Version: 1.0
Message-Id: <d56969ce-ef75-4679-91ea-f5c1866040e1@gulbrandsen.priv.no>
In-Reply-To: <1526346858.1919476.1372147984.7BBDC9FC@webmail.messagingengine.com>
References: <5AE207FD.8020203@isode.com> <71D1116A-0D02-424B-9B22-58110DD8202D@oracle.com> <D6002572-B87C-47FA-98A1-D963F25F5B0E@oracle.com> <9e94523e-d12d-e61c-d63b-e54dea7fd33e@dovecot.fi> <84D7D0C7-B12B-4DF2-B059-010CCE8F8271@oracle.com> <1526004063.3372904.1368184696.34A255D8@webmail.messagingengine.com> <EFB3AA82-1076-4947-AACA-63102C5220CE@oracle.com> <1526346858.1919476.1372147984.7BBDC9FC@webmail.messagingengine.com>
User-Agent: Trojita/0.7; Qt/5.3.2; xcb; Linux; Devuan GNU/Linux 1.0 (jessie)
Content-Type: text/plain; charset="utf-8"; format="flowed"
Archived-At: <https://mailarchive.ietf.org/arch/msg/extra/mJJDtlGzsylqXThggKwD3AKRmt4>
Subject: Re: [Extra] AD review of draft-ietf-extra-imap-status-size-01
X-BeenThere: extra@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: Email mailstore and eXtensions To Revise or Amend <extra.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/extra>, <mailto:extra-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/extra/>
List-Post: <mailto:extra@ietf.org>
List-Help: <mailto:extra-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/extra>, <mailto:extra-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 15 May 2018 09:46:27 -0000

On Tuesday 15 May 2018 03:14:18 CEST, Bron Gondwana wrote:
> I'm totally fine with all those reasons.  Do we need to do a 
> 4466bis for this, or do we let that get folded with the 64bit 
> extension work in general and IMAP4rev2?
>
> I'm pretty keen to say that "IMAP4rev2 will fix it" about 
> irrelevant things like this, but I think it's good to have the 
> discussion and have a clear answer for why we're going with a 
> number without parens - particularly since OBJECTID is doing 
> parans everywhere.

Try this:

If this extension uses 63-bit unsigned numbers, then that complicates the 
grammar, which needs an additional sentence to say that the number 
production comes from RFCxxx instead of 3501,  and the RFC, which needs to 
explain that the size is potentially big. But it simplifies the clients, 
which only need to parse and handle one case instead of two, and which only 
need to test one thing instead of two, and breaks nothing.

This is similar to the history of "" for UTF8=ACCEPT. There was separate 
syntax for quoting, it was dropped because it seemed to offer no 
advantages, and instead the "" was extended to allow UTF8. A success. As 
far as I know, none of the implementations have reported problems with 
that.

IMHO (note the H, that's h for humble) objectid doesn't have the same 
problem. The parens aren't necessary. They have no function, they're just 
there because some other parens add clarity in some other cases. But my 
personal opinion is that if unnecessary syntax is mandatory, then it adds 
no unit tests, and the required number of unit tests are an effective proxy 
for simplicity and reliability.

Arnt