comp.lang.ada
 help / color / mirror / Atom feed
From: Shark8 <onewingedshark@gmail.com>
Subject: Re: initialize an array (1-D) at elaboration using an expression based on the index?
Date: Sun, 31 Oct 2010 12:35:35 -0700 (PDT)
Date: 2010-10-31T12:35:35-07:00	[thread overview]
Message-ID: <3450508b-9f26-4f26-8cd1-70149ca113dc@b17g2000yqa.googlegroups.com> (raw)
In-Reply-To: C8F36F83.1536B0%yaldnif.w@blueyonder.co.uk

> "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.
One could argue that the lower-case letters are not necessary, and as
far as the possession of an alphabet goes they are not; English,
however, places some constraints on when to capitalize something --
the following two sentences are exactly the same except for a single
instance of capitalization:
I helped my uncle Jack off a horse.
I helped my uncle jack off a horse.

These two sentences have differing meanings because of English and,
therefore, we can see that insofar as English is concerned Upper-case
and Lower-case letters are not unnecessary.

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.)

In my opinion, I think that something like Delphi's properties on
objects would be useful; though they are strictly-speaking not
necessary (though they certainly could simplify 'interface' objects by
unifying 'getters' and 'setters'). That is something presented to the
outside world as a field of an object which may be readable and or
writable and may 'rename' a private-field or method of that object.
{You could then then have a 'field' that validates incoming data when
it is set; like disallowing someone from setting their computer's
Calendar to 31 Feb.}



  reply	other threads:[~2010-10-31 19:35 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 [this message]
2010-10-31 22:47                 ` (see below)
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