Re: Quantified Expressions: "some"

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 17.11.10 13:29, Peter C. Chapin wrote:

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

No, just wanting to use "some" for when there is a need to do so. ;-)

Seriously,  referring to AI 139,

   while some X of Container loop
     ...

might convey lazy evaluation, or goal directed evaluation, Icon style.

Alternatives:

  while exists X of Container loop
  while select X of Container loop

Is the first "exists" equivalent to "some" in this case, too?
Just as readable and clear?