comp.lang.ada
 help / color / mirror / Atom feed
From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Subject: Re: initialize an array (1-D) at elaboration using an expression based on the index?
Date: Sun, 31 Oct 2010 23:47:37 +0100
Date: 2010-10-31T23:47:37+01:00	[thread overview]
Message-ID: <C8F3B099.1536CC%yaldnif.w@blueyonder.co.uk> (raw)
In-Reply-To: 3450508b-9f26-4f26-8cd1-70149ca113dc@b17g2000yqa.googlegroups.com

On 31/10/2010 20:35, in article
3450508b-9f26-4f26-8cd1-70149ca113dc@b17g2000yqa.googlegroups.com, "Shark8"
<onewingedshark@gmail.com> wrote:

>> "Necessary" is not a valid criterion for anything more human-oriented than a
>> Turing machine. Remember that Ada views programming, above all, as a human
>> activity.
> 
> Hm, I disagree there. 'Necessary' is an extraordinarily valid
> criterion for precise-languages, and even precision within languages.
... 
> This relates, because we were discussing the design of languages
> (specifically Ada). If we were to throw in every idea that people had
> w/o regard to 'necessary' we would quickly have a mess of a language
> the result of which would make C++ look like Ada, comparatively. (That
> is to say, all hope of consistency would be lost.)

But this is a non sequitur. Saying that necessity is not a valid {I should
better have said "adequate"} criterion is is no way equivalent to saying
that that anything goes.  We are united in thinking that Ada should never
look like C++. I'm confident that there is no chance of that happening.

-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk





  reply	other threads:[~2010-10-31 22:47 UTC|newest]

Thread overview: 42+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-10-15 23:03 initialize an array (1-D) at elaboration using an expression based on the index? Nasser M. Abbasi
2010-10-15 23:31 ` Vinzent Hoefler
2010-10-16  0:16   ` Adam Beneschan
2010-10-16  0:29     ` Nasser M. Abbasi
2010-10-16  1:47       ` Robert A Duff
2010-10-16  1:01     ` Randy Brukardt
2010-10-16 10:08     ` Phil Clayton
2010-10-18 15:03       ` Adam Beneschan
2010-10-19  6:29         ` Randy Brukardt
2010-10-20 20:01         ` Phil Clayton
2010-10-19 16:34     ` Britt Snodgrass
2010-10-19 18:05       ` Jeffrey Carter
2010-10-19 19:00         ` Vinzent Hoefler
2010-11-10 14:33     ` Georg Bauhaus
2010-11-10 15:51       ` Adam Beneschan
2010-11-10 17:19         ` Dmitry A. Kazakov
2010-11-10 18:03           ` Adam Beneschan
2010-11-11  1:07         ` Georg Bauhaus
2010-11-11  8:30           ` Dmitry A. Kazakov
2010-11-11 12:02           ` Robert A Duff
2010-11-11 14:19             ` Georg Bauhaus
2010-10-16  0:52 ` Jeffrey Carter
2010-10-16  0:54 ` Gene
2010-10-16  1:11   ` Vinzent Hoefler
2010-10-21 13:44 ` Chad  R. Meiners
2010-10-24 16:40   ` Shark8
2010-10-24 22:48     ` Phil Clayton
2010-10-25  2:23       ` Shark8
2010-10-29 23:26         ` Phil Clayton
2010-10-31 18:47           ` Shark8
2010-10-31 21:59             ` Georg Bauhaus
2010-11-01  0:45             ` Phil Clayton
2010-11-01  1:55               ` Shark8
2010-10-30  6:34         ` Brian Drummond
2010-10-31 19:00           ` Shark8
2010-10-31 18:09             ` (see below)
2010-10-31 19:35               ` Shark8
2010-10-31 22:47                 ` (see below) [this message]
2010-11-01  0:07                   ` Shark8
2010-10-31 23:21                     ` (see below)
2010-10-31 21:26             ` Brian Drummond
2010-11-12 18:10             ` Randy Brukardt
replies disabled

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