6.23.5. While-выражения (While Expressions)

Синтаксис.

while_expr ::=

while logical-value_expr do unit-value_expr end

Контекстные условия. Максимальным типом первого выражения value_expr должен быть тип Bool.

Максимальным типом второго выражения value_expr должен быть тип Unit.

Атрибуты. Максимальным типом выражения while_expr является Unit.

Выражение while_expr статически обращается к тем переменным и каналам, к которым статически обращаются составляющие его выражения value_expr.

Семантика. Результирующее воздействие выражения while_expr состоит в том, чтобы повторять вычисление второго выражения value_expr, пока вычисление первого булевского выражения value_expr возвращает значение true. Значением, возвращаемым выражением while_expr, является Unit значение.

Имеет место следующая эквивалентность:

while value_expr₁ do value_expr₂ end



if value_expr₁ then

value_expr₂ ; while value_expr₁ do value_expr₂ end

else skip end

6.23.6. Until-выражения (Until Expressions)

Синтаксис.

until_expr ::=

do unit-value_expr until logical-value_expr end

Контекстно-независимые расширения. Выражение until_expr вида:

do value_expr₁ until value_expr₂ end

представляет собой краткую форму записи выражения:

value_expr₁ ; while  value_expr₂ do value_expr₁ end

6.23.7. For-выражения (For Expressions)

Синтаксис.

for_expr ::=

for list_limitation do unit-value_expr end

Контекстные условия. Максимальным типом выражения value_expr должен быть тип Unit.

Контекстно-зависимые расширения. Выражение for_expr вида:

for list_limitation do value_expr end

представляет собой краткую форму записи выражения:

let id =  value_expr ½ list_limitation  in skip end

7. Связывания (Bindings)

Синтаксис.

binding ::=

id_or_op ½

product_binding

product_binding ::=

( binding-list2 )

Терминология. Значение может быть сопоставлено со связыванием binding для получения некоторого набора определений значений.

Контекстные условия. Максимальный контекстный тип для связывания binding, представляющего собой операцию op, должен быть каким-либо функциональным типом, различимым с максимальным типом (типами) предопределенного значения (значений) операции op. Если операция op является инфиксной операцией infix_op, то типом параметра данного функционального типа должен быть тип декартова произведения длины 2.

Максимальным контекстным типом конструкции product_binding должен быть тип декартова произведения той же длины, что и список binding‑list2.

В конструкции product_binding составляющие ее связывания binding должны быть совместимы.

Атрибуты. Контекст связывания binding определяет максимальный контекстный тип для данного связывания binding. Для конструкций, содержащих в своем составе связывания binding, этот максимальный контекстный тип указывается в соответствующих разделах.

В качестве максимального типа конструкции id_or_op, представляющей собой связывание binding, принимается максимальный контекстный тип данного связывания binding.

В конструкции product_binding вида (binding₁,…, binding_n) , контекстный тип которой имеет вид t₁ ´ … ´ t_n, максимальными контекстными типами связываний binding₁,…, binding_n являются типы t₁, …, t_n соответственно.

Семантика. Совпадение некоторого значения v максимального контекстного типа t со связыванием binding вида id_or_op дает следующее определение:

id_or_op : t = v

Совпадение значения некоторого декартова произведения (v₁,…,v_n) максимального контекстного типа t₁ ´ … ´ t_n со связыванием product_binding вида (binding₁,…, binding_n) дает набор определений, полученных при совпадении каждого значения v_i максимального контекстного типа t_i со связыванием binding_i.