Re: [Tzdist-bis] Last Call: <draft-murchison-tzdist-tzif-13.txt> (The Time Zone Information Format (TZif)) to Proposed Standard

Tim Parenti <tim@timtimeonline.com> Thu, 13 September 2018 14:21 UTC

Return-Path: <tim@timtimeonline.com>
X-Original-To: ietf@ietfa.amsl.com
Delivered-To: ietf@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id A89CE130E60 for <ietf@ietfa.amsl.com>; Thu, 13 Sep 2018 07:21:28 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.909
X-Spam-Level:
X-Spam-Status: No, score=-1.909 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, T_DKIMWL_WL_MED=-0.01, URIBL_BLOCKED=0.001] autolearn=unavailable autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=timtimeonline-com.20150623.gappssmtp.com
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 4JTepRmHXRtp for <ietf@ietfa.amsl.com>; Thu, 13 Sep 2018 07:21:26 -0700 (PDT)
Received: from mail-qt0-x230.google.com (mail-qt0-x230.google.com [IPv6:2607:f8b0:400d:c0d::230]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 446D1130DE0 for <ietf@ietf.org>; Thu, 13 Sep 2018 07:21:23 -0700 (PDT)
Received: by mail-qt0-x230.google.com with SMTP id g44-v6so5469989qtb.12 for <ietf@ietf.org>; Thu, 13 Sep 2018 07:21:23 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=timtimeonline-com.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=6pAPNhp6MXj82lIUGomKeCVUYAXoVcf+PgkQR+meZGs=; b=l18BFW7RlyCZVcXATRnfOPGJffuvBht+CvVYrZSjHAoNdgQ8l8odgkxZYgh3FU1OeI PfWdsbrxvQeJjUjdoOgKYPwJ/Zodn8RSmtPXGEWaQfwVn1Kb85kin3yyLVocZ55Nyed1 GZZSFhierINZrv8BXP9N3vzAuXL0MR4qIiSjCaNClnceeFs9qTTtQKDTIOpIyxw414QT mH/q230ldb+7Aw6Yc3/ltxEI30Qxgi72maS8YguSddfDJWX4GrkuU2t+qi6CNtFBBo3W QBdikbIeN708nLXsrQDZEEzS+xHMJUb8TOUQSBiPMW79aR/8DQkez6NsTPlQg3Ai8ydq kdeg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=6pAPNhp6MXj82lIUGomKeCVUYAXoVcf+PgkQR+meZGs=; b=sCB+Xkajdq1a4xGL2UkUZwrUM/Ablz9TV4RDHGUsNIWRgcbVbSRjUplTiELfvb2E2A 4BT7S2zhbUwVfozED6psDBCnbIskUFXzbxTcxr0jbv9OULziPxAAaZa5RGxrOnJyihwO tZysI9LwNaSgbFH5db/meuByPiogA7aAkP72uRHUwXU6mnBS7SaYCR72xEzSerZBZ0ti V8P2YUz58dvvf87ulO/+r6APBK8AGHte6IMFngwOvhIX3f29WTD/2nK7XUjzN6cWL2e+ r95xhVT/5nw6a+MeIufEvAnTEOAqSkyFIsZ/nA9VYXfcAa3NXSwvlzCKszpbCUvBlDk1 u8DQ==
X-Gm-Message-State: APzg51D6yU2q+xYj1K3yTJUlaLNXqyVUrAKeXblZ0o4LLhA2J7FqprhQ 0BpZ8zlWAxHCj/2iYWRqPRnsCQCYQWtL2Q==
X-Google-Smtp-Source: ANB0VdZOAPcV8DgDw2IXGUSgE7XLvRHta0uWMSXVykH9ApAFxO8M22VvtO31znkow+KIpBEwErRpnw==
X-Received: by 2002:a0c:d21c:: with SMTP id m28-v6mr5385866qvh.86.1536848482217; Thu, 13 Sep 2018 07:21:22 -0700 (PDT)
Received: from mail-qk1-f182.google.com (mail-qk1-f182.google.com. [209.85.222.182]) by smtp.gmail.com with ESMTPSA id w70-v6sm2274370qkb.58.2018.09.13.07.21.20 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 13 Sep 2018 07:21:21 -0700 (PDT)
Received: by mail-qk1-f182.google.com with SMTP id d131-v6so3255646qke.11; Thu, 13 Sep 2018 07:21:20 -0700 (PDT)
X-Received: by 2002:ae9:f401:: with SMTP id y1-v6mr5123042qkl.178.1536848480693; Thu, 13 Sep 2018 07:21:20 -0700 (PDT)
MIME-Version: 1.0
References: <153668132581.16924.5079239635019957388.idtracker@ietfa.amsl.com> <054601d44b58$80fc2340$4001a8c0@gateway.2wire.net>
In-Reply-To: <054601d44b58$80fc2340$4001a8c0@gateway.2wire.net>
From: Tim Parenti <tim@timtimeonline.com>
Date: Thu, 13 Sep 2018 10:21:09 -0400
X-Gmail-Original-Message-ID: <CAFpi07xHz4nqyiHzg3DuJZ6Hbjh=UcaZcVyTeAB4Y9=1JJ5d-A@mail.gmail.com>
Message-ID: <CAFpi07xHz4nqyiHzg3DuJZ6Hbjh=UcaZcVyTeAB4Y9=1JJ5d-A@mail.gmail.com>
Subject: Re: [Tzdist-bis] Last Call: <draft-murchison-tzdist-tzif-13.txt> (The Time Zone Information Format (TZif)) to Proposed Standard
To: daedulus@btconnect.com
Cc: ietf@ietf.org, alexey.melnikov@isode.com, lear@ofcourseimright.com, tzdist-bis@ietf.org, draft-murchison-tzdist-tzif@ietf.org
Content-Type: multipart/alternative; boundary="000000000000c3f8fc0575c16b1c"
Archived-At: <https://mailarchive.ietf.org/arch/msg/ietf/NAaP40_vrTXCGSPQkALcB58ZVck>
X-BeenThere: ietf@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: IETF-Discussion <ietf.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/ietf>, <mailto:ietf-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/ietf/>
List-Post: <mailto:ietf@ietf.org>
List-Help: <mailto:ietf-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/ietf>, <mailto:ietf-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 13 Sep 2018 14:21:40 -0000

It's a fairly standard interval or range notation in mathematics that the
types of the brackets used are important.  I would imagine this appears in
plenty of other RFCs and the like.

The square left bracket next to 0 means "starting at and including 0",
while the round right bracket next to 'typecnt' means "up to but NOT
including 'typecnt'."  So there are a total of 'typecnt' elements, indexed
from 0 to 'typecnt'-1, inclusive.  Likewise for (desig)idx and charcnt.

https://en.wikipedia.org/wiki/Interval_(mathematics)

This convention of including the lower bound and excluding the upper has an
established history in computing as well:
https://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EWD831.html

--
Tim Parenti


On Thu, 13 Sep 2018 at 07:55, tom petch <daedulus@btconnect.com>; wrote:

> My arithmetic may be letting me down, but in s.3.2, when there are
> 'typecnt' entries in a list of transition types, then I would expect the
> index to be
> [0, 'typecnt'-1)
> or
> [1, 'typecnt')
> but not
> [0, 'typecnt')
> as the I-D says, unless zero has a special meaning but then it is not
> really an index.
>
> Ditto for (desig)idx  and charcnt except that this list is NUL
> terminated, but then I would not expect it to be valid to index the NUL.
>
> I infer, and would rather be told explicitly, that
> "The total number of octets is specified by the 'charcnt' field ..
> excludes the NUL that terminates the list.
>
> In s.1,
> "the source the time zone data  metadata, identifiers, ..."
> would appear to be light of an 'of'.
>
> Tom Petch
>
> ----- Original Message -----
> From: "The IESG" <iesg-secretary@ietf.org>;
> Cc: <lear@ofcourseimright.com>;; <tzdist-bis@ietf.org>;;
> <draft-murchison-tzdist-tzif@ietf.org>;; <alexey.melnikov@isode.com>;
> Sent: Tuesday, September 11, 2018 4:55 PM
>
> > The IESG has received a request from an individual submitter to
> consider the
> > following document: - 'The Time Zone Information Format (TZif)'
> >   <draft-murchison-tzdist-tzif-13.txt> as Proposed Standard
> >
> > The IESG plans to make a decision in the next few weeks, and solicits
> final
> > comments on this action. Please send substantive comments to the
> > ietf@ietf.org mailing lists by 2018-10-09. Exceptionally, comments may
> be
> > sent to iesg@ietf.org instead. In either case, please retain the
> beginning of
> > the Subject line to allow automated sorting.
> >
> > Abstract
> >
> >    This document defines the Time Zone Information Format (TZif) for
> >    representing and exchanging time zone information, independent of
> any
> >    particular service or protocol.  Two MIME media types for this
> format
> >    are also defined.
> >
> > The file can be obtained via
> > https://datatracker.ietf.org/doc/draft-murchison-tzdist-tzif/
> >
> > IESG discussion can be tracked via
> > https://datatracker.ietf.org/doc/draft-murchison-tzdist-tzif/ballot/
> >
> > No IPR declarations have been submitted directly on this I-D.
> >
>
> _______________________________________________
> Tzdist-bis mailing list
> Tzdist-bis@ietf.org
> https://www.ietf.org/mailman/listinfo/tzdist-bis
>