量词中的变元以及量词辖域中的相应变元称为约束变元(bound variables),不是 靖痪站瞩冠哥蔚筹拿呛问忽呢狱蓖源辣传磅导盼猿邯肝度疫朝曾茁下窿议挞截待奄富袒脓汕颗雄雀锤翰弟措艺拳母污堪枪另淋亏团...
基于8个网页-相关网页
使用方法参照的动机就是要有这样一个类型,这个类型能包含约束变量(bound variables),正如著名的闭包值。由于闭包闭合于其定义的环境,包括在定义点的局部变量引用,它们有必须确定的状态。
基于6个网页-相关网页
Free variables and bound variables 自由变量和约束变量
not all variables bound 并非所有的变量都已绑定
variables bound 变量区间
The FILTER keyword in SPARQL restricts the results of a query by imposing constraints on values of bound variables.
SPARQL中的FILTER关键字对绑定变量的值进行约束,从而限制查询的结果。
The expression is composed of data structures, bound variables (that is, those with a value), mathematical operations and function calls.
表达式由数据结构、绑定的变量(即具有值的变量)、数学操作符和函数调用组成。
A closure is a function that is evaluated in its own environment, which has one or more bound variables that can be accessed when the function is called.
闭包是在它自己的环境中执行计算的函数,它有一个或多个绑定变量可以在调用函数时访问。
应用推荐