0 人感兴趣 · 2 次引用
可逆计算是笔者提出的下一代软件构造理论,它的核心思想可以表示为一个通用的软件构造公式
什么是声明式编程?一般来说我们对于声明式的理解都是相对于命令式(imperative)而言的。图灵教会了我们imperative的真谛,并赋予了它数学意义上的精确定义:一台有状态的机器,根据明确的指令(instruction)一步步的执行。而所谓的声明式,它可以看作是命
上进小菜猪,沈工大软件工程,爱好敲代码
InfoQ签约作者 / 公众号:人工智能微客
No Silver Bullet
大丈夫生于天地之间,岂能郁郁久居人之下
提供全面深入的云计算技术干货