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

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

Как упоминалось в разделе 9.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.