X-Mozilla-Status: 0001
X-Mozilla-Status2: 00000000
Delivered-To: barryleiba.mailing.lists@gmail.com
Received: by 10.59.3.41 with SMTP id bt9csp139530ved;
        Wed, 2 Jan 2013 09:44:40 -0800 (PST)
X-Received: by 10.66.82.73 with SMTP id g9mr138784605pay.5.1357148680301;
        Wed, 02 Jan 2013 09:44:40 -0800 (PST)
Return-Path: <abnf-discuss-bounces@ietf.org>
Received: from mail.ietf.org (mail.ietf.org. [2001:1890:126c::1:1e])
        by mx.google.com with ESMTP id pj1si45031125pbc.162.2013.01.02.09.44.39;
        Wed, 02 Jan 2013 09:44:40 -0800 (PST)
Received-SPF: pass (google.com: domain of abnf-discuss-bounces@ietf.org designates 2001:1890:126c::1:1e as permitted sender) client-ip=2001:1890:126c::1:1e;
Authentication-Results: mx.google.com; spf=pass (google.com: domain of abnf-discuss-bounces@ietf.org designates 2001:1890:126c::1:1e as permitted sender) smtp.mail=abnf-discuss-bounces@ietf.org; dkim=pass (test mode) header.i=@ietf.org
Received: from ietfa.amsl.com (localhost [127.0.0.1])
	by ietfa.amsl.com (Postfix) with ESMTP id 16D0D21F86F8;
	Wed,  2 Jan 2013 09:44:39 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1;
	t=1357148679; bh=7vvYBc93AZhKuSZHEUHnhBfz28YYnJAnRP0GA1xRjFQ=;
	h=MIME-Version:In-Reply-To:References:Date:Message-ID:From:To:
	 Subject:List-Id:List-Unsubscribe:List-Archive:List-Post:List-Help:
	 List-Subscribe:Content-Type:Content-Transfer-Encoding:Sender;
	b=hTdWYMNewgkwn6NOov3kZEDU0xvKxamqzonPCj70TmZcHfc4Us1n6a2w7dKuoKNJy
	 M1wmA/6nCJK5Nzpc9FxRuT89qdf4XknAabzSI9YS4dLTtA0Vu4c5+uB11sqQcE5MCf
	 g/9eqlcPshtoeMBsWu3lM/37Fjr0BF25UlRbVvXs=
X-Original-To: abnf-discuss@ietfa.amsl.com
Delivered-To: abnf-discuss@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1])
	by ietfa.amsl.com (Postfix) with ESMTP id 86F0421F86F6
	for <abnf-discuss@ietfa.amsl.com>; Wed,  2 Jan 2013 09:44:37 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.599
X-Spam-Level: 
X-Spam-Status: No, score=-3.599 tagged_above=-999 required=5
	tests=[BAYES_00=-2.599, RCVD_IN_DNSWL_LOW=-1]
Received: from mail.ietf.org ([64.170.98.30])
	by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id OCirlTGBQgBz for <abnf-discuss@ietfa.amsl.com>;
	Wed,  2 Jan 2013 09:44:36 -0800 (PST)
Received: from mail-la0-f41.google.com (mail-la0-f41.google.com
	[209.85.215.41])
	by ietfa.amsl.com (Postfix) with ESMTP id C5A2621F86EF
	for <abnf-discuss@ietf.org>; Wed,  2 Jan 2013 09:44:35 -0800 (PST)
Received: by mail-la0-f41.google.com with SMTP id em20so6515466lab.28
	for <abnf-discuss@ietf.org>; Wed, 02 Jan 2013 09:44:34 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
	h=mime-version:in-reply-to:references:date:message-id:subject:from:to
	:content-type:content-transfer-encoding;
	bh=VoBjG0PW9O0E9TdPAekA5TCEgQMpkb+gD2yT0QHTZn0=;
	b=JESDAZ1UU1f8kTfhfWWlr7yVz5+oIzL3dk5aa2NVEMmPxSnDg0rivwItPtRXOmRf3m
	MTn7wgnu0PODan/SJOuJak6IijqmJjWcT2Qm+M31DquVUAPmQYjOJSAquQhnat23MhCS
	vGQO7spymqREc3zUtkJOAOtVOMXj5ACbiHVNJ2t1dadJm1n0aZZcQIeY1e0YZ/mxPGU0
	yyU0UWHA2SNtYz8HAkTBBAueIatul915J7lHmpuIm6OPKAXZ+GiODHWSpE/fS0X9aTqF
	BUyQ8fGGRCx4aYP8Gcm7xw1U4JOEUZpmEiyc9WSw6K8U5yU8KgRz0xsZ0XtX/KcNAaxO
	xkgQ==
MIME-Version: 1.0
Received: by 10.112.101.7 with SMTP id fc7mr8299677lbb.56.1357148674635; Wed,
	02 Jan 2013 09:44:34 -0800 (PST)
Received: by 10.112.108.133 with HTTP; Wed, 2 Jan 2013 09:44:34 -0800 (PST)
In-Reply-To: <50E46CC7.3080700@gmail.com>
References: <50DCD850.3020106@alum.mit.edu>
	<alpine.LSU.2.00.1301021022570.15409@hermes-1.csi.cam.ac.uk>
	<50E45623.9060607@gmail.com>
	<alpine.LSU.2.00.1301021552190.15409@hermes-1.csi.cam.ac.uk>
	<50E45B21.20509@gmail.com>
	<alpine.LSU.2.00.1301021611070.15409@hermes-1.csi.cam.ac.uk>
	<50E460D0.1020308@gmail.com>
	<CABSMSPXthVjLT1e6MgoAwK+3W6-kSimE+XJ_UnKA4ZQgm3vjqA@mail.gmail.com>
	<50E46CC7.3080700@gmail.com>
Date: Wed, 2 Jan 2013 18:44:34 +0100
Message-ID: <CABSMSPVCOBrUTPiaUm9o-eTmfE3t=OQ-Y8DZaZvtztNUPfbyNg@mail.gmail.com>
From: Riccardo Bernardini <framefritti@gmail.com>
To: abnf-discuss@ietf.org
Subject: Re: [abnf-discuss] Some thoughts about how to make ABNF more
 convenient to use
X-BeenThere: abnf-discuss@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: "General discussion about tools,
	activities and capabilities involving the ABNF meta-language"
	<abnf-discuss.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/abnf-discuss>,
	<mailto:abnf-discuss-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/abnf-discuss>
List-Post: <mailto:abnf-discuss@ietf.org>
List-Help: <mailto:abnf-discuss-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/abnf-discuss>,
	<mailto:abnf-discuss-request@ietf.org?subject=subscribe>
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Sender: abnf-discuss-bounces@ietf.org
Errors-To: abnf-discuss-bounces@ietf.org

On Wed, Jan 2, 2013 at 6:22 PM, Dave Crocker <dcrocker@gmail.com> wrote:
>
> On 1/2/2013 9:14 AM, Riccardo Bernardini wrote:
>>
>> I speak from experience: I worked both with languages (like C) without
>> namespaces where, to avoid clashes, you must resort to the "prefix
>> trick" and languages (like Ada) where every package has its own
>> namespace and I must say that it is much easier to work with the
>> latter...
>
>
> And to play devil's advocate, I'll note that the difference in the relati=
ve
> successes of the two languages might be relevant...

Alas, yes :-)

>
> Anything like this needs to balance ease of use (non-complexity) with pow=
er.
> There must be a compelling demand for any added complexity.
>
> And any enhanced naming scheme must be downward compatible.  Old ruleset
> need to continue to work.
>

I am not seeing any special problem with this.  Currently, I saw that
when people  need definitions from other documents they (i) do c'n'p
(cut and paste) from the old document into the new one or (ii) they
say something like "Definitions for ALPHA, DIGIT, ... are the same
given in Section B.1 Core Rules of RFC 5234."  The possibility of
writing RFC5234.core.ALPHA would not invalidate the two approaches
above; actually, it would be equivalent to (ii), but with the
advantage of being more formal and prone to automatic checking.

>
>
>> BTW, inspired by Ada, you could use the RFC number as the namespace
>> itself, e.g., RFC4566.proto-version.
>
>
> Only rules from RFCs would be permitted? Not from external documents, such
> as other standards groups?

Of course! Don't you know that something is the Truth if and only if
it is written in an RFC?!? :-) (which implies that we create the Truth
and that something switch from false to true in the instant the RFC is
published, interesting... :-)

Seriously, demi-touch=E9... While writing, I had my mind turned to RFCs,
but I guess the same convention can apply to other document too, for
example, you could use ISO8652-2007.foo or ISO.8652-2007.foo to import
an ANBF definition from the Ada 2005 standard :-) :-)  Of course you
would need an algorithmic way to map the document to a fixed prefix
and, maybe, to shorten prefixes that are too long.
At the very worst, you can resort to the solutions (i) and (ii) above.

Riccardo

>
>
> d/
> --
>  Dave Crocker
>  bbiw.net
_______________________________________________
abnf-discuss mailing list
abnf-discuss@ietf.org
https://www.ietf.org/mailman/listinfo/abnf-discuss

