Re: Quantified Expressions: "some"

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

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.

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.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .