Re: [YANG] so many naming scopes

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Mon, 07 January 2008 08:02 UTC

Return-path: <yang-bounces@ietf.org>
Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1JBmwi-0005f7-P3; Mon, 07 Jan 2008 03:02:56 -0500
Received: from yang by megatron.ietf.org with local (Exim 4.43) id 1JBmwh-0005f1-EY for yang-confirm+ok@megatron.ietf.org; Mon, 07 Jan 2008 03:02:55 -0500
Received: from [10.90.34.44] (helo=chiedprmail1.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1JBmwb-0005dQ-0m for yang@ietf.org; Mon, 07 Jan 2008 03:02:49 -0500
Received: from hermes.jacobs-university.de ([212.201.44.23]) by chiedprmail1.ietf.org with esmtp (Exim 4.43) id 1JBmwa-0008QP-LH for yang@ietf.org; Mon, 07 Jan 2008 03:02:48 -0500
Received: from localhost (demetrius.jacobs-university.de [212.201.44.32]) by hermes.jacobs-university.de (Postfix) with ESMTP id C6C138A239; Mon, 7 Jan 2008 09:02:46 +0100 (CET)
Received: from hermes.jacobs-university.de ([212.201.44.23]) by localhost (demetrius.jacobs-university.de [212.201.44.32]) (amavisd-new, port 10024) with ESMTP id 31623-08-17; Mon, 7 Jan 2008 09:02:42 +0100 (CET)
Received: from elstar.local (elstar.iuhb02.iu-bremen.de [10.50.231.133]) by hermes.jacobs-university.de (Postfix) with ESMTP id 992358A250; Mon, 7 Jan 2008 09:02:26 +0100 (CET)
Received: by elstar.local (Postfix, from userid 501) id 12272459F24; Mon, 7 Jan 2008 09:02:25 +0100 (CET)
Date: Mon, 7 Jan 2008 09:02:24 +0100
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: Phil Shafer <phil@juniper.net>
Subject: Re: [YANG] so many naming scopes
Message-ID: <20080107080224.GA8646@elstar.local>
Mail-Followup-To: Phil Shafer <phil@juniper.net>, Andy Bierman <ietf@andybierman.com>, yang@ietf.org
References: <477D433C.1000709@andybierman.com> <200801040435.m044ZkPE068099@idle.juniper.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <200801040435.m044ZkPE068099@idle.juniper.net>
User-Agent: Mutt/1.5.17 (2007-11-01)
X-Virus-Scanned: amavisd-new 2.3.3 (20050822) at jacobs-university.de
X-Spam-Score: 0.0 (/)
X-Scan-Signature: 798b2e660f1819ae38035ac1d8d5e3ab
Cc: yang@ietf.org
X-BeenThere: yang@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: j.schoenwaelder@jacobs-university.de
List-Id: YANG modeling Language for NETCONF <yang.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/yang>, <mailto:yang-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www1.ietf.org/pipermail/yang>
List-Post: <mailto:yang@ietf.org>
List-Help: <mailto:yang-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/yang>, <mailto:yang-request@ietf.org?subject=subscribe>
Errors-To: yang-bounces@ietf.org

On Thu, Jan 03, 2008 at 11:35:46PM -0500, Phil Shafer wrote:
> Andy Bierman writes:
> >Yes, of course one naming scope (the term namespace is taken)
> >amongst siblings, except nested typedef and grouping names
> >cannot mask similar definitions within an ancestor node,
> >or globally within the same module.  (This part already in the draft.)
> 
> Isn't this dancing on the line of CLR?  Where's the logic of saying
> "don't do that" when there's really no ambiguity?  If I say "leaf 
> foo { .. } typedef foo { .. }", my use of "type foo" is clear.
> Is there a situation where isn't not clear to the compiler
> what is meant?  Are we trying to get the compiler to enforce
> style rules when the language proper doesn't require them?

I agree - lets not make coding styles a part of the language design.

/js

-- 
Juergen Schoenwaelder           Jacobs University Bremen gGmbH
Phone: +49 421 200 3587         Campus Ring 1, 28759 Bremen, Germany
Fax:   +49 421 200 3103         <http://www.jacobs-university.de/>


_______________________________________________
YANG mailing list
YANG@ietf.org
https://www1.ietf.org/mailman/listinfo/yang