确定OZ变量是否是绑定的？

Question

是否有一种安全的方法来询问OZ中的单个赋值变量是否是绑定的？

以要求值的方式使用未分配的数据流变量将导致程序等待某个值的赋值。在顺序环境中，这意味着程序挂起。将不同的值分配给变量将导致程序失败。因此，这两种方法都“告诉”我，如果变量是绑定的，但不是以安全的方式。

我在找一些函数“绑定”

local X Y=1 Xbound YBound in 
   Xbound={Bound? X}
   Ybound={Bound? Y}
end

分别给出了X界和Ybound的假和真。

我的用例涉及处理一个列表，在这个列表中，值是递增的，最后一个值总是未绑定的。我想使用最后一个绑定项(在未绑定项之前)。我试图在OZ范式中添加最少的概念(所以没有可变的变量或异常)。

Answer 1

您可以检查变量是否与函数IsDet绑定。

参见：http://mozart.github.io/mozart-v1/doc-1.4.0/base/node4.html (也使用Mozart1.3.0)

注意:如果您使用的是多个线程，这将为竞争条件打开大门。