comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Why constant components are not permitted ?
Date: Fri, 25 Nov 2011 11:22:44 +0100
Date: 2011-11-25T11:22:44+01:00	[thread overview]
Message-ID: <1ht4l4eip5oj6.125ji8oho4j2$.dlg@40tude.net> (raw)
In-Reply-To: op.v5hxxzq8ule2fv@douda-yannick

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



  reply	other threads:[~2011-11-25 10:23 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-11-24 18:14 Why constant components are not permitted ? David Sauvage
2011-11-24 19:06 ` anon
2011-11-24 19:49   ` David Sauvage
2011-11-24 22:55     ` Georg Bauhaus
2011-11-24 23:53     ` anon
2011-11-24 19:46 ` Ludovic Brenta
2011-11-25  9:10   ` Dmitry A. Kazakov
2011-11-25 10:23     ` Ludovic Brenta
2011-11-25 10:45       ` Dmitry A. Kazakov
2011-11-25  6:56 ` Niklas Holsti
2011-11-25  9:53   ` Yannick Duchêne (Hibou57)
2011-11-25 10:06     ` AdaMagica
2011-11-25 10:16       ` AdaMagica
2011-11-25 10:56       ` Yannick Duchêne (Hibou57)
2011-11-25 17:41       ` Niklas Holsti
2011-11-26  0:23         ` anon
2011-11-29  4:10         ` Randy Brukardt
2011-11-29  7:55           ` David Sauvage
2011-11-29 10:55             ` Yannick Duchêne (Hibou57)
2011-11-29 11:17             ` Mark Lorenzen
2011-11-26 10:22       ` Pascal Obry
2011-11-26 10:59         ` Dmitry A. Kazakov
2011-11-25  7:03 ` AdaMagica
2011-11-25  9:12 ` Dmitry A. Kazakov
2011-11-25  9:57   ` Yannick Duchêne (Hibou57)
2011-11-25 10:22     ` Dmitry A. Kazakov [this message]
2011-11-25 11:00       ` Yannick Duchêne (Hibou57)
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox