可逆计算

可逆计算理论是作者试图从物理学的基本原理出发来解释软件开发实践的时候所发现的一种面向演化的软件构造理论，所以它的方法论来源不是计算机科学本身，而是理论物理学，它所描述的是一种程序员不太熟悉的、相对抽象

可逆计算理论中的Delta合并算法 可逆计算理论明确指出全量是差量的特例，我们可以基于差量的概念重构整个软件生成过程。为了最大化Delta差量概念的价值，差量之间的运算应该是可以由软件自动完成， 而无

GPT用于复杂代码生产所需要满足的必要条件 现在很多人都在尝试用GPT直接生成代码，试图通过自然语言指导GPT完成传统的编码工作。但是，几乎没有人去真正认真的考虑一下生成的代码如何长期维护的问题。 基

写给程序员的可逆计算理论辨析 可逆计算理论是Docker、React、Kustomize等一系列基于差量的技术实践背后存在的统一的软件构造规律，它的理论内容相对比较抽象，导致一些程序员理解起来存在很多

国内开源的RPC框架很多，它们的设计大都受到了dubbo框架的影响，核心的抽象概念与dubbo类似。从今天的角度上看，dubbo的设计已经过于繁琐冗长，如果基于现在的技术环境，重新审视RPC框架的定位

相比于REST服务调用方式，GraphQL提供了可以由调用者控制的、强大而灵活的数据重组能力，而所谓的低代码平台，其技术的基本价值也正在于将原先必须由程序员编码实现的功能，通过抽象和封装，以一种有限组

本文将介绍在Nop平台中使用的NopAutoTest自动化测试框架，它是与Nop平台完全集成在一起，并协同设计的后端应用自动化测试框架。它充分利用了Nop平台中的各种模型信息，通过录制回放、数据驱动、

如果我们完全从零开始重新编写SpringBoot，那么我们会明确定义哪些核心问题由底层框架来负责解决？针对这些问题我们会提出什么样的解决方案？它们与SpringBoot目前的做法又有哪些本质上的区别？

依赖注入是解耦的关键只是一个过去流行的理解。它并不是在软件中实现解耦的全部手段，甚至我们可以说它不应该成为解耦的主要手段。

本文将对Y组合子提出一个非常特别的启发式的推导，可以非常直观的理解Y组合子为什么采用现在这种结构，而且可以将这种推导推广到更多的情况，推导出无数多的组合子

Paxos算法并不长，写在纸上也仅有短短的四句话。它之所以看起来有些像是微言大义的天书，主要是我们并不清楚这几条简单规则背后的设计意图是什么，为什么它能起作用，不采用这些规则是不是就不行？

Nop平台提供了面向语言编程的编程范式，即我们解决问题时总是倾向于先设计一个领域特定语言(DSL)，然后再利用该DSL来具体描述业务逻辑。Nop平台中极大简化了创建自定义DSL的过程。

GPT3.5已经可以理解元模型、模型差量、领域特定语言DSL的概念，可以直接驱动Nop平台生成前后端全套应用

本文将介绍一个启发式的观点， 它将类似租户扩展这一类具有普遍性的可扩展性问题类比于张量空间通过张量积所实现的扩张过程，并结合可逆计算理论，为这类可扩展性问题提供一个统一的技术解决方案。

Nop平台中利用可逆计算原理提供了创新的定制能力，它使得应用层代码无需做出任何特殊的设计（比如预先抽象出扩展接口）即可获得完全增量式的定制化开发能力（定制的增量代码完全独立于基础产品代码）

百度AMIS框架的设计本身是一种通用设计，并不受限于目前它所支持的使用场景。在本文中，我将分析一下AMIS框架的一些设计要点，并介绍Nop平台中集成AMIS框架时所做的一些改进工作。

介绍NopOrm引擎中所做的一些功能取舍，以及如何解决ORM常见的性能问题，如何用200行代码实现类似MyBatis的SQL管理功能，以及如何实现GraphQL集成和可视化集成等。

NopOrm包含了Hibernate+ MyBatis+SpringJDBC的主要功能，基于可逆计算理论的通用底层方案，NopOrm免费提供了其他ORM引擎所无法达到的灵活性和可扩展性。

NopReport是基于可逆计算理论从零开始独立实现的一套开源中国式报表引擎，它的核心代码很短，只有3000多行，具有较高的性能，以及其他报表引擎难以达到的灵活性和可扩展性。

Skyve的设计采用了一种相对比较传统的后端低代码实现方案，也是目前比较流行的低代码和无代码方案。在本文中，我们将把Skyve的设计和Nop平台的设计做个对比分析，从而帮助大家理解Nop平台的独特之处