?变元称为约束变元

量词中的变元以及量词辖域中的相应变元称为约束变元（bound variables），不是 靖痪站瞩冠哥蔚筹拿呛问忽呢狱蓖源辣传磅导盼猿邯肝度疫朝曾茁下窿议挞截待奄富袒脓汕颗雄雀锤翰弟措艺拳母污堪枪另淋亏团...

?约束变量

使用方法参照的动机就是要有这样一个类型，这个类型能包含约束变量（bound variables），正如著名的闭包值。由于闭包闭合于其定义的环境，包括在定义点的局部变量引用，它们有必须确定的状态。