可逆计算理论
知乎专栏
集中收录了作者关于可逆计算理论和Nop平台实现原理的相关论述
三句话解释什么是可逆计算
- 面向对象中的继承和Rust语言中的trait不包含删除语义，而且仅表达了对象-方法这样一级关系，结构层面仅对应于Map。
- 面向对象的最强形态是带模板元编程能力的泛型对象，它在结构层面上可以看作是
Map extends Map<Map>。 - 如果将Map扩展为Tree结构，并且扩展extends算子包含减法，这样Tree就成为包含逆元的DeltaTree，整体结构将升级为
Tree x-extends Tree<Tree>。
这个抽象可以很自然的将抽象语法树和文件系统纳入自己的范畴，成为一个具有广泛应用领域，不限制于某个程序语言内部的通用计算模式，
落实为具体的技术形式就成为可逆计算理论所定义的核心软件构造公式
|
Docker和k8s中的kustomize都可以看作是可逆计算的具体实例
可逆计算: 下一代软件构造理论
对可逆计算理论的概要介绍
写给程序员的可逆计算理论辨析
从程序员熟悉的概念出发详细解释了差量与差量合并在程序实践中的具体形式和做法，并分析一些常见的对于可逆计算的理解为什么是错误的。
写给程序员的可逆计算理论辨析补遗
继续补充一些针对可逆计算理论的概念辨析，澄清对于可逆计算理论的一些常见误解
从可逆计算看Delta Oriented Programming
本文对比了可逆计算理论与软件工程理论界的相关工作，如面向特性编程（FOP）和面向差量编程（DOP），并指出在可逆计算视角下，这些理论还存在哪些不足之处。
从张量积看低代码平台的设计
框架设计中的多维度扩展在数学层面上可以看作是张量积空间上的线性映射函数。本文从理论层面解释了可逆计算原理如何与Loader抽象相结合。
从可逆计算看DSL的设计要点
Nop平台基于可逆计算原理，提出了一整套系统化的构建机制来简化DSL的设计和实现，使得我们很容易增加针对自己业务领域的DSL，也很容易在已有DSL的基础上进行扩展。
GPT用于复杂代码生产所需要满足的必要条件
现在很多人都在尝试用GPT直接生成代码，试图通过自然语言指导GPT完成传统的编码工作。但是，几乎没有人去真正认真的考虑一下生成的代码如何长期维护的问题。本文从理论层面分析了GPT用于复杂代码生产所需要满足的必要条件，并提出了Nop平台与GPT结合的具体策略。
如何评价一种框架技术（比如ORM框架）的好坏
对于一种新的框架技术，”很方便、很好用”这样的评价表达的仅仅是一种主观感受，能否在客观层面定义一些不受人的主观偏好影响的客观标准？