Re: Quantified Expressions: "some"

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Tue, 16 Nov 2010 22:31:50 -0800 (PST), AdaMagica wrote:

> On 17 Nov., 01:03, Georg Bauhaus <rm-host.bauh...@maps.futureapps.de>
> wrote:
>> � (for all  X in domain | P (X))
>> � (for some X in domain | P (X))
> These are the Ada expressions for the mathematical "all" and
> "existence" quantifiers and read quite naturally.
> 
> Draft 10 of RM 2010 defines some as a new reserved word.
> 
>> � (for when X in domain | P (X))
> 
> This is silly English, and when I try to make sense of it, I arrive at
> the all quantifier. So I think, just for avoiding a new reserved word,
> this is a very bad proposal.

It is also a silly Ada policy to make words reserved where the syntax does
not require that. Many Ada reserved words need not and should not be
reserved.

"for some" looks awful, why not "exists" or U+2203, since we are Unicode
now? (:-))

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