【发布时间】:2011-07-24 06:36:56
【问题描述】:
以下编程范式的名称是什么:
代码的执行基于一组逻辑测试结果为真(子句)。该子句由运算符和操作数组成。每个操作数都是一个值/对象。
不像在命令式语言中那样显式评估子句(例如,像if(){} 这样的正常流控制),子句被声明并绑定到结果代码。当子句满足时,在未来的任何时候,代码都会执行。
所以,它基本上是一棵依赖树,它重新评估代码是否应该在依赖改变状态时执行。
例如,
when(a && b && c < 3 && d.changes())
{
runThisCode();
}
我正在寻找一个更正式的名称和定义,搜索后我没有想出任何东西。它介于声明式和命令式之间,但我从未见过一种语言或范式可以做到这一点。
谢谢, 肖恩
【问题讨论】:
标签: dependencies paradigms declarative imperative