Предлагаю обсудить здесь синтаксическую форму цикла Дейкстры

Предлагаю по аналогии с CASE-WITH:
WHILE exp1 DO
| exp2 DO
| exp3 DO
END

В качестве интересного варианта:
WHILE exp1 DO
OR exp2 DO
OR exp3 DO
END

Вот это как раз по смыслу сильно похоже на case. А в цикле Дейкстры - там AND стоит.

Да, я об аналогии думал. Но опять же - первое выражение выглядит "главнее" остальных. Хочется, чтобы они были не только семантически равноправными, но и это отражалось в синтаксисе.

Разве? Цикл Дейкстры, насколько я понимаю, выполняетсядо тех пор, пока все условия не станут ложными (OR), а не пока хотя бы одно не станет ложным (&). Если я прав, то по смыслу как раз получается сокращённо вычисляемая в цикле дизъюнкция (OR). См. аналогичный LOOP.

WHILE
| exp1 DO
| exp2 DO
| exp3 DO
END

Предлагаю обсудить здесь синтаксическую форму цикла Дейкстры.

Осталось только уточнить, что писать после do. Если список, то придется ставить в конце end - в соответствии с идеологией.
Или можно как-то по-другому?

Я хочу разработать и внедрить у себя на кафедре обучающую среду.

А в цикле Дейкстры предусмотрена часть, исполняемая всегда? Т.е. так:Предусмотрена ли возможность вставить код вместо AlwaysDo?

В случае CASE список замыкается очередным символом "|" (либо завершающим ELSE или END), так что мне предложение Trurl кажется очень удачным.

Поддерживаю: приз зрительских симпатий присудить Trurl.
Я даже не думал, что получится что-нибудь путное - сам мучился и так, и этак, а всё равно виртовский синтаксис оказывался лучше.