可逆计算

目前在开发领域似乎形成了一种政治正确：XML是一种过时的技术，不应该再被广泛的使用。对于Nop平台大量使用XML来表达领域模型，有网友调侃道：信息都用xml表达，你这是反（潮流而）动啊。在此前的文章X

计算机科学存在两种基本的世界观：图灵机和Lambda演算，它们指出了到达图灵完备的两条技术路线。但是量子力学中却存在着三种世界图景：薛定谔图景，海森堡图景和狄拉克图景。为什么计算机科学有两种基本世界观

Mybatis所管理的SQL语句存放在XML配置文件中，号称是可以在不修改源码的情况下通过配置调整来定制数据库访问逻辑，比如适配不同的数据库方言等。 但在实际使用中，如果XML文件已经被打包到Jar包

低代码平台的可视化设计器本质上是DSL（Domain Specific Language）的结构化编辑器。可视化设计器将编辑的结果序列化成文本格式时所采用的规范就是一种DSL语法定义。 Nop平台基于

一个很有趣的问题是，一个新的框架技术出现的时候，我们如何评价它的好坏？NopORM引擎今年开源以来，也收到了一些反馈，不过大部分人应该没有看懂NopORM引擎的理论部分，所以普遍的疑惑是NopORM相

为了开发具有自定义语法的领域特定语言(DSL)，一般我们会使用一个语法解析器生成工具来根据EBNF语法定义自动生成Lexer和Parser，从而简化开发工作。 Antlr4是目前使用最广泛的语法解析器

Nop平台的模块虽然很多，但是因为整体设计采用了依赖注入、动态加载等方式，各个模块的耦合度很低，大部分模块都可以独立使用，并且可以脱离Nop平台与其他框架集成使用。 一. 核心模块 Nop平台最核心的

Nop平台与其他开源软件开发平台相比，其最本质的区别在于Nop平台是从第一性的数学原理出发，基于严密的数学推导逐步得到各个层面的详细设计。它的各个组成部分具有一种内在的数学意义上的一致性。这直接导致N

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

可逆计算理论中的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的过程。