comp.lang.ada
 help / color / mirror / Atom feed
From: "Peter C. Chapin" <pcc482719@gmail.com>
Subject: Re: Quantified Expressions: "some"
Date: Wed, 17 Nov 2010 07:29:21 -0500
Date: 2010-11-17T07:29:21-05:00	[thread overview]
Message-ID: <tM6dnafzn6s6V37RRVn_vwA@giganews.com> (raw)
In-Reply-To: <8khhs0F22oU1@mid.individual.net>

On 2010-11-17 03:25, Niklas Holsti wrote:

> Among the existing keywords, "select" has nearly, but not quite, the
> right meaning:
> 
>    (for select X in domain | P (X))
> 
> But it would be better as "selected", and if a new word must be
> reserved, I agree that "some" is best. Although it is yet another nice,
> short, expressive word that will then be forbidden us for use as an
> identifier.

I think it's nice that Ada has reserved a number of short, expressive
words. Once reserved they are easy to reuse elsewhere when the language
is extended. I could imagine some future feature wanting to use 'some'
for some other purpose.

(or is that "wanting to use 'some' for when other purpose?") :)

Peter





  reply	other threads:[~2010-11-17 12:29 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-11-17  0:03 Quantified Expressions: "some" Georg Bauhaus
2010-11-17  6:31 ` AdaMagica
2010-11-17  8:25   ` Niklas Holsti
2010-11-17 12:29     ` Peter C. Chapin [this message]
2010-11-17 13:38       ` Georg Bauhaus
2010-11-17 10:46   ` Dmitry A. Kazakov
2010-11-17 12:05     ` (see below)
2010-11-17 13:38       ` Dmitry A. Kazakov
2010-11-17 14:16         ` Georg Bauhaus
2010-11-17 14:20           ` Dmitry A. Kazakov
2010-11-17 16:14             ` J-P. Rosen
2010-11-17 17:28               ` Dmitry A. Kazakov
2010-11-18  1:12                 ` Randy Brukardt
2010-11-18  8:47                   ` Dmitry A. Kazakov
2010-11-18  9:48                     ` AdaMagica
2010-11-18 10:07                       ` Dmitry A. Kazakov
2010-11-18 10:27                         ` AdaMagica
2010-11-18 13:24                       ` Niklas Holsti
2010-11-18 15:51                         ` Georg Bauhaus
2010-11-18 17:58                         ` Peter C. Chapin
2010-11-19 17:48                           ` Georg Bauhaus
2010-11-19 17:51                             ` Georg Bauhaus
2010-11-19 20:03                             ` Vinzent Hoefler
2010-12-19 10:04                               ` Andre
2010-11-17 11:33 ` stefan-lucks
replies disabled

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