问题标签 [bound-variable]

我正在尝试在 EMP 表上创建一个触发器，该触发器将审核 EMP_AUDIT 表中的插入并将邮件发送到相应的 empno。我没有得到的是在 v_block_query 中生成的 CSV 附件中新插入的记录。我想获得 :new.FIELD_NAME 的数据基础，但它抛出了错误：

ORA-01008：并非所有变量都绑定 ORA-06512：在“SCOTT.EMP_AFTER_INSERT”，第 18 行 ORA-04088：执行触发器“SCOTT.EMP_AFTER_INSERT”时出错

请帮忙。提前致谢

使用 De Bruijn 表示法，可以将 lambda 项定义为：

data BTerm = BVar Int | BLam BTerm | BApp BTerm BTerm

或者使用通常的符号， data Term = Var String | Lam String Term | App Term Term

这两种数据类型允许构造封闭项和包含自由变量的项。

是否可以定义一个只允许构造封闭项的数据类型。即只有诸如：\xx、\x 之类的术语。xx，\x.\y。xy，\x.\y。y, \x.\y.\zz(xy)

我正在看教科书中的一些问题，这些问题是关于变量是自由的还是有约束的。我不确定这两个。

首先，我想确保我理解自由与绑定的概念。我相当确定这个 x 是以下的自由变量：

variable x is free in expression "x"

我相信这是真的，但我只是想确定一下。

然而，这两个问题我不太确定。

(/ (+ 1 x) (let x 2 (+ x x))),
(let x y (/ (+ 1 x) (let x 2 (+ x x))))

对于顶部表达式，第一个子表达式中的 x 是未绑定的（对吗？），但第二个子表达式中的 x 绑定为 2，那么这是否意味着关于整个表达式的 x 是未绑定的？

对于底部表达式，x 绑定到 y，但 y 是一个自由变量（？）。那么 x 是自由的，因为 y 是自由的，还是因为 x 仍然与 y 有界，所以它是有界的？