写点什么

命令式

0 人感兴趣 · 2 次引用

  • 最新
  • 推荐

从可逆计算看声明式编程

可逆计算是笔者提出的下一代软件构造理论,它的核心思想可以表示为一个通用的软件构造公式

什么是声明式编程

什么是声明式编程?一般来说我们对于声明式的理解都是相对于命令式(imperative)而言的。图灵教会了我们imperative的真谛,并赋予了它数学意义上的精确定义:一台有状态的机器,根据明确的指令(instruction)一步步的执行。而所谓的声明式,它可以看作是命

命令式_命令式技术文章_InfoQ写作社区