13.1函数式编程语言简介 13.1.3变量的自由出现和约束出现 在letrec1=e12元e2.…V。=eime中，等号 左边的y1,,n是这些变量的定义性出现 在入W.Vn-e的M.Vn中的y1,,n是这些变量的 定义性出现 变量出现在其它地方都是引用性出现 引用性出现分成自由出现和约束出现 在（入x.(.x+)+乙）)x中， 自由出现的变量：x,乙 约束出现的变量：x,,乙13.1 函数式编程语言简介 13.1.3 变量的自由出现和约束出现 – 在letrec v1== e1 ; v2== e2 ; . . . vn== en in e0中，等号 左边的v1 , …, vn是这些变量的定义性出现 – 在v1 … vn .e的v1 … vn中的v1 , …, vn是这些变量的 定义性出现 – 变量出现在其它地方都是引用性出现 – 引用性出现分成自由出现和约束出现 在 (x y. (z. x + z) (y + z ) ) x中， 自由出现的变量：x, z 约束出现的变量：x, y, z