Глава 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.