[Cbor] Re: [art] [Tools-discuss] Exploring ABNF extracts from RFCs

Carsten Bormann <cabo@tzi.org> Sun, 28 July 2024 01:21 UTC

Return-Path: <cabo@tzi.org>
X-Original-To: cbor@ietfa.amsl.com
Delivered-To: cbor@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B34E5C14F6BB; Sat, 27 Jul 2024 18:21:27 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.209
X-Spam-Level:
X-Spam-Status: No, score=-4.209 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id P8IAvP8AIHRc; Sat, 27 Jul 2024 18:21:26 -0700 (PDT)
Received: from smtp.zfn.uni-bremen.de (smtp.zfn.uni-bremen.de [134.102.50.21]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-256) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id A1C71C14F699; Sat, 27 Jul 2024 18:21:23 -0700 (PDT)
Received: from smtpclient.apple (p5dc5d6c5.dip0.t-ipconnect.de [93.197.214.197]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.zfn.uni-bremen.de (Postfix) with ESMTPSA id 4WWkGT2GvCzDCc4; Sun, 28 Jul 2024 03:21:21 +0200 (CEST)
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.600.62\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <ca351176-6e59-4a88-baab-17a96426cef2@alum.mit.edu>
Date: Sun, 28 Jul 2024 03:21:10 +0200
Content-Transfer-Encoding: quoted-printable
Message-Id: <2DF03FD9-E8C8-4704-8639-7A71A3D8FA15@tzi.org>
References: <89a4a566-8ffe-413e-9196-3f08bebe8d20@w3.org> <99E8B992-AF60-4CD6-9786-2EC180E95E4D@tzi.org> <2867abac-8c62-41b2-a20c-cb9fe8d3736d@alum.mit.edu> <ff29ebe0-efbc-4bfc-8c79-f09ccbe3ffe3@w3.org> <ca351176-6e59-4a88-baab-17a96426cef2@alum.mit.edu>
To: Paul Kyzivat <pkyzivat@alum.mit.edu>
X-Mailer: Apple Mail (2.3774.600.62)
Message-ID-Hash: MEVTBDU2I5LWFNH7KES7INZQRWAIR2II
X-Message-ID-Hash: MEVTBDU2I5LWFNH7KES7INZQRWAIR2II
X-MailFrom: cabo@tzi.org
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-cbor.ietf.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
CC: Dominique Hazael-Massieux <dom@w3.org>, art@ietf.org, tools-discuss <tools-discuss@ietf.org>, CBOR <cbor@ietf.org>, abnf-discuss@ietf.org
X-Mailman-Version: 3.3.9rc4
Precedence: list
Subject: [Cbor] Re: [art] [Tools-discuss] Exploring ABNF extracts from RFCs
List-Id: "Concise Binary Object Representation (CBOR)" <cbor.ietf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/uWllMXJjmaVkkhRanO_d0NJqYeY>
List-Archive: <https://mailarchive.ietf.org/arch/browse/cbor>
List-Help: <mailto:cbor-request@ietf.org?subject=help>
List-Owner: <mailto:cbor-owner@ietf.org>
List-Post: <mailto:cbor@ietf.org>
List-Subscribe: <mailto:cbor-join@ietf.org>
List-Unsubscribe: <mailto:cbor-leave@ietf.org>

On 28. Jul 2024, at 03:08, Paul Kyzivat <pkyzivat@alum.mit.edu> wrote:

>> The consolidater takes the approach of importing only the specific rules needed and their dependencies.
> 
> If we had namespaces this wouldn't be necessary.

Being frugal of what you pick from the imported module is quite useful in practice to keep things manageable.
Namespaces organize, but don’t remove, the bulk that is easily created from transitive closure.

> But for your work this seems the practical way.
> 
> I would like to see namespaces added to abnf. But will only help in the future. We are still stuck with all the usage enshrined in RFCs. So the hacks will persist.

The way CDDL modules address this is by creating namespaces on import instead of trying to describe them in the source (which might be a dusty deck which still contains useful rules to import, just with bad names).

Grüße, Carsten