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)
  • `tag-name (expr₁, … , expr_m)
  • [| expr₁; … ; expr_m |]
  • { field₁ = expr₁; … ; field_m = expr_m }
  • { expr₁ with field₂ = expr₂; … ; field_m = expr_m } где expr₁ не связано напрямую с name₁ … name_n
  • ( expr₁, … , expr_m )
  • 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.