From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b30ef5c12f872cb8
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Received: by 10.68.0.170 with SMTP id 10mr11013325pbf.2.1322216586699;
        Fri, 25 Nov 2011 02:23:06 -0800 (PST)
Path: 
 lh20ni16089pbb.0!nntp.google.com!news1.google.com!news.glorb.com!feeder.erje.net!news-transit.tcx.org.uk!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Why constant components are not permitted ?
Date: Fri, 25 Nov 2011 11:22:44 +0100
Organization: cbb software GmbH
Message-ID: <1ht4l4eip5oj6.125ji8oho4j2$.dlg@40tude.net>
References: <1856c00b-1994-406a-bbb3-73d93785099a@i6g2000vbe.googlegroups.com>
 <15v7a1mpu8fuw.d0wd83q0gcow.dlg@40tude.net> <op.v5hxxzq8ule2fv@douda-yannick>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news1.google.com comp.lang.ada:19157
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Date: 2011-11-25T11:22:44+01:00
List-Id: <comp.lang.ada>

On Fri, 25 Nov 2011 10:57:25 +0100, Yannick Duch�ne (Hibou57) wrote:

> Le Fri, 25 Nov 2011 10:12:54 +0100, Dmitry A. Kazakov  
> <mailbox@dmitry-kazakov.de> a �crit:
> 
>> On Thu, 24 Nov 2011 10:14:34 -0800 (PST), David Sauvage wrote:
>>
>>> In my case I find it useful to declare my Object Tag component as a
>>> constant, but it is not permitted, I would be interested to learn
>>> why ?
>>
>> Language irregularity. There are other things which work for components
>> differently, e.g. no anonymous arrays.
> You could argue it's an irregularity, if this was useful to anything.

No, irregularity is independent on usability. abs might look totally
useless for modular types, yet its presence makes the language more
regular. [abs is not useless in the context generic programming is
considered]
  
> Another one could argue Ada did not blindly apply any schema to anything.

The road to hell is paved with good intentions...

The rule of good language design is: do not introduce irregularities and
constraints unless absolutely necessary.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de