Глава 12 Расширения языка

1 Рекурсивные определения значений

(Введено в Objective Caml 1.00)

Как упоминалось в разделе ‍11.7.2, конструкция связывания let rec, помимо определения рекурсивных функций, также поддерживает определённый класс рекурсивных определений не-функциональных значений, таких как

которые связывают name₁ со циклическим списком 1::2::1::2::…, а name₂ — со циклическим списком 2::1::2::1::… Неформально, класс допустимых определений состоит из тех определений, где определяемые имена встречаются только внутри тел функций или в качестве аргументов конструктора данных.

Более точно, рассмотрим выражение:

Оно будет принято, если каждое из expr₁ … expr_n статически конструктивно относительно name₁ … name_n, не связано непосредственно ни с одним из name₁ … name_n, и не является конструктором массива, чьи аргументы имеют абстрактный тип.

Выражение e называется статически конструктивным относительно переменных name₁ … name_n, если выполняется хотя бы одно из следующих условий:

• e не содержит свободных вхождений ни одного из name₁ … name_n
• e — переменная
• e имеет вид fun … -> …
• e имеет вид function … -> …
• e имеет вид lazy ( … )
• e имеет один из следующих видов, где каждое из expr₁ … expr_m статически конструктивно относительно name₁ … name_n, а expr₀ статически конструктивно относительно name₁ … name_n, xname₁ … xname_m:
  • let [rec] xname₁ = expr₁ and … and xname_m = expr_m in expr₀
  • let module … in expr₁
  • constr (expr₁, … , expr_m)
  • и т.д. (остальные пункты переведены аналогично)

Выражение e называется непосредственно связанным с переменной name в следующих случаях:

• e есть name
• e имеет вид expr₁; … ; expr_m, где expr_m непосредственно связано с name
• e имеет вид let [rec] xname₁ = expr₁ and … and xname_m = expr_m in expr₀, где expr₀ непосредственно связано с name или с одним из xname_i, причём expr_i непосредственно связано с name.