以下编程范例的名称是什么：
代码基于一组解析为true的逻辑测试(子句)执行.该子句由运算符和操作数组成.每个操作数都是一个值/对象.
不像在命令式语言中那样明确地评估子句(例如,像if(){}这样的正常流控制),该子句被声明并绑定到结果代码.当满足该子句时,在将来的任何时候,代码都将执行.
因此,它基本上是一个依赖树,它重新评估代码是否应该在依赖项改变状态时执行.
例如.,
when(a && b && c < 3 && d.changes())
{
runThisCode();
}
我正在寻找一个更正式的名称和定义,在搜索之后我还没有想出任何东西.它介于声明和命令之间,但我从未见过让人们这样做的语言或范例.
谢谢,
肖恩
