VD>foreach (y in ys)
VD>  z(y);
VD>loop else
VD>  someElse();
VD>

foreach (y in ys)
  z(y);
otherwise
  someElse();

"find" "(" id "when" condition ("with" index)? "in" collection ")" body ("notfound" expr)?

id         : PExpr.Ref
condition  : PExpr
index      : PExpr
collection : PExpr
body       : PExpr
expr       : PExpr

def res = find (x when x > 10 && x % 2 == 0 in [1 .. 100]) x * 42 notfound 0;

// или императивный (возвращающий void) вариант:
mutable res;

find (x when x > 10 && x % 2 == 0 in [1 .. 100])
  res = x; // тут...
notfound
  res = 0; // и тут, естественно, могут быть любые выражения, в том числе блок кода.

Вариант с индексом и без notfound:
def ary = arry[1 .. 100];

find (x when x > 10 with i && x % 2 == 0 in )
  ary[i] = x * 42; // тут...

if (x)
  foreach (y in ys)
    z(y);
else
  someElse();

foreach (y in ys)
  z(y);
else
  someElse();

foreach (y in ys)
  z(y);
loop else
  someElse();

VD>foreach (y in ys)
VD>  z(y);
VD>loop else
VD>  someElse();
VD>

foreach (y in ys)
  z(y);
fiasco
  someElse();

VD>Х.з. когда создастся, то сам увидишь .

__>>У меня никак for/while/foreach не удается вписать в блок require.

class A
{
  public F(i : int) : int
    requires ()
  {
    i
  }
}

Error: expected bool, got void in matched value: the types void and bool are not compatible [simple unify]

class A
{
  public F(i : int) : int
    requires { i > 1 }
  {
    i
  }
}

Error: parse error near '{...}' group: expecting type declaration

  macro @while (cond, body, otherwiseBody)
  syntax ("while", "(", cond, ")", body, Optional("otherwise", otherwiseBody))
  {
    def otherwiseBody = otherwiseBody ?? <[ ]>;
    
    <[ 
      ($("_N_break" : global) : {
        def loop () : void
        {
          when ($cond)
          {
            ($("_N_continue" : global) : {
              $body
            }) : void;
            loop ()
          }
        }
        
        loop ();
        
        $otherwiseBody
      }) : void
    ]>
  }

macro FFF(c)
  {
    <[
      while (false) {}
    ]>
  }

Error: parse error near '{...}' group: unexpected token after expression in sequence (you forget a closing bracket?).

  macro While1 (cond, body)
  syntax ("while1", "(", cond, ")", body)
  {
    <[
    ]>
  }
  
  macro While2 (cond, body, otherwiseBody)
  syntax ("while1", "(", cond, ")", body, "otherwise", otherwiseBody)
  {
    <[ 
    ]>
  }
  
  macro FFF()
  {
    <[
      while1 (false) ; { }
    ]>
  }

  macro GGG()
  {
    <[
      while1 (false) { } //  Error: parse error near '{...}' group: unexpected token after expression in sequence (you forget a closing bracket?).
    ]>
  }

__>  macro While1 (cond, body)
__>  syntax ("while1", "(", cond, ")", body)...
__>  macro While2 (cond, body, otherwiseBody)
__>  syntax ("while1", "(", cond, ")", body, "otherwise", otherwiseBody)...
__>  macro FFF()
__>  {
__>    <[
__>      while1 (false) ; { }
__>    ]>
__>  }
__>

  macro @if (cond, e1, e2)
  syntax ("if", "(", cond, ")", e1, Optional (";"), "else", e2)

ИД> то есть они делают совсем не то, что в питоне делают for-else (else-тело выполняется, если цикл не завершился break-ом) и while-else (выполняется, если цикл завершился по false == условие цикла), а выполняют else-тело, если основное тело не было вызвано ни разу. Все три варианта поведения мягко говоря не интуитивны. Как минимум, в документации должно быть отражено отличие от python.

When the items are exhausted (which is immediately when the sequence is empty), the suite in the else clause, if present, is executed, and the loop terminates.

foreach (y in ys) {
} on empty list {
// вызывается если foreach ни разу не сработал
} on one item exist in list {
// вызывается если foreach сработал один раз
} on break {
// вызывается если в foreach был вызван break
} on continue {
// вызывается если в foreach был вызван continue
}

try_for_each (y in ys) {
} catch_empty list {
// вызывается если foreach ни разу не сработал
} catch_one_item_exist_in_list {
// вызывается если foreach сработал один раз
} catch_break {
// вызывается если в foreach был вызван break
} catch_continue {
// вызывается если в foreach был вызван continue
}

VD>Кроме того не ясно зачем может понадобиться "on one item exist in list"? Вот выполнение для первого элемента, если это удастся реализовать более компактно, могло бы быть весьма полезным. Частенько бывает, что обработка для первого элемента отличается от остальных. Но это все уже совсем не о foreach / else.

foreach(var item in list) {
  Response.Write("Товар: " + item.Name + "\n");
} on_one_item {
  Response.Write("Всего товаров: " + list.Count);
} on_empty {
  Response.Write("Нет товаров");
}

VD>>Кроме того не ясно зачем может понадобиться "on one item exist in list"? Вот выполнение для первого элемента, если это удастся реализовать более компактно, могло бы быть весьма полезным. Частенько бывает, что обработка для первого элемента отличается от остальных. Но это все уже совсем не о foreach / else.

А>foreach(var item in list) {
А>  Response.Write("Товар: " + item.Name + "\n");
А>} on_one_item {
А>  Response.Write("Всего товаров: " + list.Count);
А>} on_empty {
А>  Response.Write("Нет товаров");
А>}
А>

if (lst.IsEmpty)
  Response.Write("Нет товаров")
else
  Response.Write("Всего товаров: " + list.Count);

foreach(var item in lst)
  Response.Write("Товар: " + item.Name + "\n");

<p $when    (lst.IsEmpty)>Нет товаров</p>
<p $unless  (lst.IsEmpty)>Всего товаров $(list.Length)</p>
<p $foreach (item in lst)>Всего товаров $(item.Name)</p>

VD>Частенько бывает, что обработка для первого элемента отличается от остальных. Но это все уже совсем не о foreach / else.

foreach(item in list) {
  Response.Write("Товар: " + item.Name);
} on_first {
  Response.Write("Товар: <b>" + item.Name + "</b>")
}

foreach(item in list) {
  Response.Write("Товар: " + item.Name);
} on_before_first {
  Response.Write("<b>")
} on_after_first {
  Response.Write("</b>")
}

А>foreach(item in list) {
А>  Response.Write("Товар: " + item.Name);
А>} on_first {
А>  Response.Write("Товар: <b>" + item.Name + "</b>")
А>}
А>

foreach(item with index in lst)
  if (index == 1)
    Response.Write("Товар: <b>" + item.Name + "</b>")
  else
    Response.Write("Товар: " + item.Name);

А>foreach(item in list) {
А>  Response.Write("Товар: " + item.Name);
А>} on_before_first {
А>  Response.Write("<b>")
А>} on_after_first {
А>  Response.Write("</b>")
А>}
А>

VD>Для ключевых слов не принято использовать подчеркивания, а я за традиции.

VD>if (lst.IsEmpty)
VD>  Response.Write("Нет товаров")
VD>else
VD>  Response.Write("Всего товаров: " + list.Count);

VD>foreach(var item in lst)
VD>  Response.Write("Товар: " + item.Name + "\n");
VD>

def empty = true
foreach(item in list) {
   empty = false;
}
if (empty) Response.Write("Нет товаров")
if (!empty) Response.Write("Всего товаров: " + list.Count)

А>>foreach(item in list) {
А>>  Response.Write("Товар: " + item.Name);
А>>} on_first {
А>>  Response.Write("Товар: <b>" + item.Name + "</b>")
А>>}
А>>

VD>foreach(item with index in lst)
VD>  if (index == 1)
VD>    Response.Write("Товар: <b>" + item.Name + "</b>")
VD>  else
VD>    Response.Write("Товар: " + item.Name);
VD>

foreach (item in list) {
  Response.Write("Товар: " + item.Name)
} on_first {
  Response.Write("Товар: <b>" + item.Name + "</b>")
}

def item1 = list.GetNext()
if (item1 != null) Response.Write("Товар: <b>" + item.Name + "</b>");
def item = list.GetNext()
while(item != null) {
  Response.Write("Товар: " + item.Name)
  item = list.GetNext()
}

А>foreach (item in list) {
А>  Response.Write("Товар: " + item.Name)
А>} on_first {
А>  Response.Write("Товар: <b>" + item.Name + "</b>")
А>}
А>

foreach (item in list) 
on_first_item {
  Response.Write("Товар: <b>" + item.Name + "</b>")
}
on_rest_items {
  Response.Write("Товар: " + item.Name)
}

VD>foreach(item with index in lst)
VD>  if (index == 1)
VD>    Response.Write("Товар: <b>" + item.Name + "</b>")
VD>  else
VD>    Response.Write("Товар: " + item.Name);
VD>

foreach (item in lst with vars)
{
  if (itemIsFirst || itemIsLast)
    Response.Write("Товар: <b>" + item.Name + "</b>");
  else if (itemIndex % 2) 
    Response.Write("Товар: <i>" + item.Name + "</i>");
  else 
    Response.Write("Товар: " + item.Name);
}