flytreeleft

赞

2

|

搜索文章

赞

文章( 2 ) 沸点( 0 )

可逆计算：下一代软件构造理论

图灵机理论和Lambda演算理论是计算机领域的两个基本理论，如果补充可逆差量这一概念，可以很自然的推导出一个新的可以实现图灵完备的软件构造理论：可逆计算

canonical_entropy
2年前
3.7k
4
评论

从可逆计算看声明式编程

在这一公式中，所谓的领域特定语言（DSL）占有核心位置，而可逆计算在实践中的主要策略就是将业务逻辑分解为多个业务切面，针对每个业务切面设计一种DSL来描述。DSL是声明式编程的一种典型范例，因此可逆计算可以被看作是声明式编程的一种实现途径。透过可逆计算的概念，我们可以获得对声明…

canonical_entropy
5年前
527
2
评论

个人成就

文章被点赞 2

文章被阅读 2,217

加入于

2023-05-06