依赖 – 我想把它称为副作用编程,但对此有一个更好的术语

以下编程范例的名称是什么：

代码基于一组解析为true的逻辑测试(子句)执行.该子句由运算符和操作数组成.每个操作数都是一个值/对象.

不像在命令式语言中那样明确地评估子句(例如,像if(){}这样的正常流控制),该子句被声明并绑定到结果代码.当满足该子句时,在将来的任何时候,代码都将执行.

因此,它基本上是一个依赖树,它重新评估代码是否应该在依赖项改变状态时执行.

例如.,

when(a && b && c < 3 && d.changes())
{
  runThisCode();
}

我正在寻找一个更正式的名称和定义,在搜索之后我还没有想出任何东西.它介于声明和命令之间,但我从未见过让人们这样做的语言或范例.

谢谢,
肖恩

也许是 dataflow programming？还是 reactive programming？