- 博客(119)
- 收藏
- 关注
RSS订阅
原创 可逆计算：下一代软件构造理论
图灵机理论和Lambda演算理论是计算机领域的两个基本理论，如果补充可逆差量这一概念，可以很自然的推导出一个新的可以实现图灵完备的软件构造理论：可逆计算。Docker和React等基于差量概念的创新技术都可以看作是可逆计算理论的一种具体实例。
2023-05-12 11:31:59
640
1
原创 通过数学变换而不是组装来构造软件
Nop Platform是基于可逆计算理论构建的创新性项目，其核心是新型脚本语言XLang。XLang首次明确定义了领域结构坐标和通用差量计算规则，将程序语言视为"程序结构空间"的构造规则，突破了传统语言研究范式。该理论重新审视软件的本质，认为最强大的构造方式不是物理组装，而是逻辑变换规则的运用。可逆计算通过引入差量及其逆运算，将软件视为可动态变换的代数结构，提出了Y=F(X)+Delta的计算范式。尽管当前是个人项目，但其理论创新为软件开发提供了全新方向。
2025-11-09 09:14:16
237
原创 Nop平台拆分出核心部分nop-kernel
Nop平台的nop-kernel模块实现了一种创新的"可逆计算"架构思想。该项目通过差量合并机制组装应用，允许在不修改基础模型的情况下，通过声明式差量文件进行系统扩展和定制。核心实现包括XLang语言族和基于XDef元模型的分层设计，支持结构化模型定义和差量定制。这种架构模式显著提升了系统的可定制性和长期可演化性，为处理软件定制、元模型驱动开发提供了新的工程实践方案，值得关注下一代软件架构的研究者深入探索。
2025-11-09 09:08:29
313
原创 Nop平台到底有什么独特之处，它能用在什么场景？
Nop平台基于可逆计算理论，为企业级应用开发提供了一套全新的软件开发范式。它通过"App=Delta x-extends Generator<DSL>"的数学模型，实现了软件演化的可编程性，解决了传统开发的三大痛点：定制化破坏核心系统、演化成本线性增长、无法保持核心纯净。Nop的核心优势在于：自动生成可定制的CRUD代码，通过差量合并机制解决产品化与深度定制的矛盾，统一技术栈降低架构复杂度，并支持频繁复杂的需求变更。与低代码平台不同，Nop实现了"白盒低代码&quo
2025-11-07 08:30:35
1052
原创 不仅仅是编译期魔法：可逆计算如何赋能软件的运行时演化
可逆计算理论通过编译期与运行期的统一性、差量合并机制和无状态设计，实现了系统的运行时动态演化。其核心在于将静态模型与动态数据分离，利用代数式差量合并（Delta⊕Base）智能生成运行时组件，并通过不可变对象和无状态设计确保安全替换。这种机制支持增删改精确控制，满足结合律的自由组合，类似JIT即时编译。当需要状态迁移时，采用"时间静止"策略进行可控修改。可逆计算提供了一种比传统补丁更系统、透明的运行时演化范式，实现了软件在持续运行中的无缝升级。
2025-11-05 10:20:05
651
原创 写给小白的Monad指北
文章摘要：本文以小白学习Monad的困惑为引，从实用角度解释Monad是函数式编程中的设计模式，解决带"容器"函数的组合问题。通过Promise和List的实例，展示如何定义满足结合律的特殊组合函数composeM，进而引出Monad的数学本质——为A->M<B]类型的函数建立带单位元的可组合系统。最后指出Monad三定律如何保证这种组合的正确性，将抽象概念转化为可理解的编程实践。全文以通俗案例逐步推导，帮助读者理解Monad核心思想。
2025-11-05 10:14:45
537
原创 最小变更成本 vs 最小信息表达：第一性原理的比较
本文辨析了软件设计中的两大原则：最小变更成本与最小信息表达。前者是经济性指导原则，追求系统生命周期内的最低维护成本；后者是本体论原则，主张仅表达业务本质复杂性，剔除技术引入的偶发复杂性。文章从三个维度展开对比：本体论上，前者关注实用价值，后者触及软件本质存在；认知论上，前者依赖事后验证，后者提供即时判断标准；逻辑力量上，前者作为选择标准，后者能推导设计原则并统一解释优秀实践。最终指出，最小信息表达是根本"自然律"，遵循它自然实现低成本变更，将软件设计从主观创造升华为客观发现。
2025-11-03 21:52:12
464
原创 最小信息表达：软件框架设计的第一性原理
摘要 本文提出"最小信息表达原则"作为应对软件复杂性的核心设计哲学，其核心思想是"表达且仅仅表达需要表达的信息"。该原则包含完整性与最小性两个维度：完整覆盖问题本质复杂性，彻底剔除技术引入的偶发复杂性。这一原则能统一解释SOLID设计原则、Linux管道哲学等最佳实践，并通过"约定优于配置"实现系统整体可推理性。遵循该原则可实现从技术细节到业务本质的提纯，使解决方案复杂度趋近于问题本身。文章通过代码示例和架构分析，展示了最小信息表达如何指导设计决策
2025-11-03 21:50:58
1627
原创 告别异常继承树：从 NopException 的设计看“组合”模式如何重塑错误处理
本文探讨了软件开发中异常处理的设计演变，对比了传统的基于继承的异常处理模式与Nop平台的组合式设计。传统继承模式存在分类学困境、组合爆炸和维护僵化等问题，而NopException采用"has-a"组合关系，通过单一异常类封装结构化错误信息，实现关注点分离。其核心创新包括：统一错误容器设计、建造者模式的链式调用、类型安全的错误码常量定义，以及通过ErrorMessageManager将异常转换为标准ApiResponse输出。这种组合式设计解决了继承模式的固有缺陷，为分布式系统提供了更灵
2025-11-01 08:09:11
921
原创 领域驱动设计(DDD)中聚合根的最主要职责真的是维护一致性吗？
本文基于可逆计算理论，对传统DDD中"聚合根=一致性边界"的架构原则提出挑战，揭示了其在超大规模SaaS/PaaS系统场景下的局限性。文章提出将聚合根拆分为职责更清晰的"数据聚合"与"行为聚合"，构建"信息空间+流程编排"的新范式。通过YAML声明式流程定义和Java代码实现，展示了如何将臃肿的"上帝聚合"重构为职责单一、可组合的步骤链，实现结构与动力学的彻底分离，提升系统的可演化性和可定制性。
2025-10-31 09:37:02
960
原创 领域驱动设计（DDD）领域对象一定要讲究充血模型吗？
摘要： 这篇技术文章探讨了DDD实践中"充血模型"的困境与解决方案。作者指出传统DDD将业务逻辑全塞入聚合根会导致"上帝类"问题，提出应将领域模型分为"结构"（稳定的领域语义）和"行为"（易变的业务流程）两个关注点。核心观点是让聚合根专注于表达领域语言和结构关系（声明式充血），而将复杂业务流程交给专门的流程引擎处理。这种"结构充血+流程编排+GraphQL按需加载"的范式既能保持面向对象优势，又能解决性能和维
2025-10-31 09:34:55
360
原创 Nop平台架构白皮书：一个基于广义可逆计算理论的软件构造体系评估
它既可以作为一个完整的、高度协同的“元平台”，提供从零构建复杂系统的强大能力；这能让更广泛的社区在不采纳整个Nop平台的情况下，也能体会到GRC思想的威力，从而为整个生态系统建立信任和吸引贡献者。，它将任何软件的构造过程分解为“由生成器（Generator）从领域特定语言（DSL）中产生的标准化骨架”与“描述所有定制化和演进的声明式增量（Delta）”的代数叠加。它是一个全栈式的企业级应用开发元平台。它在追求极致的“整体内聚性”和极致的“部分独立性”这两个看似矛盾的目标之间，达到了一个近乎完美的平衡。
2025-10-30 07:45:44
756
原创 组合为什么优于继承：从工程实践到数学本质
摘要： "组合优于继承"原则揭示了两种设计范式的本质差异：继承通过类型偏序（A>B⇒P(B)→P(A)）建立强耦合的静态逻辑断言，而组合遵循代数构造（A=B+C）形成松耦合的动态结构。数学分析表明，继承的隐式差量导致系统脆弱性，而组合的显式组件关系提供了更好的可扩展性和稳定性。工程实践中，组合通过黑盒复用和运行时灵活性，更适应复杂系统的演进需求，同时保持了封装性和职责清晰。这一选择实质上反映了软件工程与数学原理的深刻统一。
2025-10-30 07:43:22
1158
原创 告别经验主义：DDD的数学基础与工程实现
本文提出了基于可逆计算理论的四维框架革新领域驱动设计(DDD)，建立了数学基础并实现工程化。该框架通过"空间-语言-时间-变化"四个维度重构了软件构造方式：空间维度强调先划分业务上下文；语言维度建立精确的领域坐标系统；时间维度捕捉业务流变过程；变化维度将系统演化可编程化。Nop平台实现了这一理论，使DDD从依赖经验的"艺术"转变为可复制的"工程科学"，使普通团队也能构建高质量系统。大型银行改造案例验证了该理论的实用性，标志软件工程进入基于数学原理的
2025-10-29 09:07:06
1006
原创 范式重构：可逆计算如何颠覆DDD的经典模式
Nop平台基于可逆计算理论，为领域驱动设计（DDD）提供了一种革命性实现范式。该方案将六边形架构从人工维护的设计原则转变为平台强制执行的编译时约束，确保端口纯化与适配器外置化，使架构治理自动化。同时，它对聚合根进行职责重构，将其降维为纯粹的信息中心，而将复杂业务流程交由流程编排引擎管理，实现结构与行为的分离。这种设计既保留了富模型的优势，又能更好地适应分布式系统的需求，提升了业务逻辑的可见性与可复用性。
2025-10-29 09:05:20
1051
原创 DDD本质论：从哲学到数学，再到工程实践的完整指南之实践篇
本文探讨了如何将DDD（领域驱动设计）理论通过Nop平台实现工程化落地。Nop平台基于可逆计算理论，将DDD战略与战术设计转化为"可逆计算+DSL图册+差量"的统一工程范式，使DDD从依赖经验转变为可编排、可验证的工程科学。平台通过模块化目录和DSL图册物理化限界上下文，提供统一的消息和RPC抽象实现跨上下文协作，并采用Xpl模板语言实现反腐层。六边形架构通过BizModel和XMeta模型派生描述式契约，保持领域模型纯洁性，并通过Delta机制非侵入式补充实现细节。Nop平台的最小化信
2025-10-28 20:06:47
1307
原创 对DDD本质论一文的解读
本文通过AI与人类协作，系统梳理了领域驱动设计（DDD）的理论演进过程。第一阶段将DDD解构为语义、约束和演化三大不变性维度；第二阶段进一步深化为"语言-空间-时间-变化"四维框架，实现了从静态结构主义到动态生成主义的认知跃迁。研究揭示了DDD的核心范式转变：从对象为中心转向上下文为中心，从事件记录转向状态差量（Δ），并明确了元层构造机制在系统演化中的关键作用。可逆计算理论为这一演进提供了数学基础，类比Lambda演算对函数式编程的统一作用，为复杂系统的可持续演化提供了方法论支持。
2025-10-28 07:47:24
858
原创 DDD本质论：从哲学到数学，再到工程实践的完整指南之理论篇
摘要 本文探讨领域驱动设计(DDD)的技术本质与实践争议。文章首先通过GPT5的标准回答梳理DDD的战略战术设计，指出其核心价值在于通过限界上下文和通用语言降低认知损耗。进而提出第一性原理：DDD有效性的数学基础在于捕捉业务领域的内在规律性，构建技术中立的纯粹业务逻辑表达体系。作者认为DDD模式（如聚合根）具有技术必然性，因其能更精确映射领域结构。最后从分解维度分析DDD方法论，强调纵向分解导向对象化抽象，通过识别核心概念实现复杂性封装。文章结合可逆计算理论，揭示DDD背后客观存在的技术规律，为其实践提供理
2025-10-28 07:46:09
1136
原创 (广义)可逆计算理论速览-统一软件构造与演化的新范式
摘要：可逆计算理论由canonical于2007年提出，其核心公式App=Delta x-extends Generator<DSL>为软件构造提供了新视角。该理论整合了模型驱动架构（MDA）和差量编程（DOP）的优势，通过Δ差量机制实现灵活定制，深化了软件复用理念，使复用从"相同"扩展到"相关"。它推动领域特定语言（DSL）向多阶段、多维度发展，并重新解读领域驱动设计（DDD），将软件构造视为"生成+演化"的过程。可逆计算已在Dock
2025-10-27 09:08:28
565
原创 软件构造的新物理学: Gemini AI对（广义）可逆计算理论的深度报告
本文记录了一次人机协作实验，通过AI大模型系统学习可逆计算（GRC）理论的过程。实验采用三阶段引导策略：首先建立知识框架，要求AI对相关文献进行逻辑排序并撰写提要；其次采用"聚焦-迭代"模式，逐篇深入分析认知深化情况；最后进行全局整合与元认知反思。实验展示了结构化人机交互的高效性，成功将AI从被动接收者转变为主动知识架构师。该过程不仅呈现了GRC理论从问题引入、数学基础到工程实现的完整知识体系，更验证了一种新型人机协同的知识建构方法论。
2025-10-27 09:03:35
1129
原创 NopGraphQL 的设计创新：从 API 协议到通用信息操作引擎
NopGraphQL 的真正创新，不在于支持了 GraphQL 语法，而在于将 API 从"端点集合"提升为"可组合的信息代数系统"。在表达能力上，GraphQL 严格包含 REST。REST 是一个有限、静态的函数集合，而 NopGraphQL 是一个动态、可组合的代数结构。在组合效率上，通过知识的正交分解，将系统复杂度从指数级降低到线性级。在架构统一性上，一个引擎可以支撑多种通信协议，实现业务逻辑的真正复用。在 Nop 的视野中，未来的后端不再是"一堆 REST 接口"，而是一个活的信息空间。
2025-10-05 18:01:23
947
原创 从“华丽的诡辩”到“构造的第一性原理”：我如何误解并最终拥抱广义可逆计算
我不保留初始批判的核心结论。我承认自己的范畴偏置与因果误读，并把立场修正为：在软件构造与演化语域，“可逆计算”是一组具有生成力的第一性公设族；同态与Δ代数在统一语言架构中是内生属性；物理可逆的桥接是规范性约束。剩下的工作是形式化、度量与跨域验证，把这套框架从工程强论断进一步升格为学术可证与工业可复用的通用方法论。
2025-10-05 17:58:16
968
原创 一份关于“可逆计算”的认知解码：从技术细节到哲学思辨的完整指南
文档只说是"领域特定语言"，太抽象了。一个XLang的DSL到底长什么样？一个XLang DSL通常就是一个结构化的XML文件，它描述了特定领域的核心概念。比如，我们可以用一个DSL来定义我们那个。
2025-10-04 09:07:21
950
原创 广义可逆计算 (Generalized Reversible Computation): 一个软件构造范式的正名与阐释
为了尽量和学术界已有的概念对齐，可逆计算理论可以增加一个Generialized前缀，避免和已有的Reversible Computing概念冲突。本文详细解释了广义可逆计算概念的内涵。在计算科学的发展史上，若干基础范式定义了我们的思维方式。图灵机以其无限纸带和精确的读写头，奠定了“可计算性”的理论基石；Lambda演算则用函数的抽象与应用，揭示了计算的逻辑本质。它们共同回答了“什么问题是可计算的”这一世纪之问，开创了信息时代。
2025-10-04 09:03:50
519
原创 从同步范式到组合范式：作为双向/δ-lenses泛化的可逆计算理论
可逆计算（Reversible Computation，此处特指基于坐标与变化代数的软件构造范式）则把“Y = F(X) ⊕ Δ”确立为系统不变式：以生成器 F 进行跨模型投影，以叠加 ⊕ 非侵入地组合差量 Δ，并在横向（多DSL图册）与纵向（多层派生）递归贯彻，同时引入“内禀坐标”“S‑N‑V分层”“同态传递”等公设，形成从建模、合并、生成到运行时的自洽工程闭环。这些实践证明了BX在特定问题域内的可行性和威力，但它们的共同点是，其目标主要聚焦于“两模型一致性”，而非“系统级生成叠加与资产化Δ治理”。
2025-10-03 08:43:40
304
原创 AI的集体反思：我们为什么未能预见到“可逆计算“的演进方向？
这篇文章的价值不在于单点技术新招，而在于“统一的思维坐标系”。在显式公设下，其主链条成立，且提出了可操作的、可检验的工程规范方向。它更像一份研究与工程路线图：告诉我们应该如何把“Δ”这件早已存在的事情，提升为一套有代数保障、可组合确定、可度量成本的系统性方法论。因此，我会修正先前过于保守的评价：它的创新主要体现在“系统性与规范性”，不在于发现了Δ，而在于把Δ变成贯穿建模、生成、工具、协同与演化治理的第一性构造；只要把关键前提外显并提供验证路径，它就是一条值得推进的范式路线。
2025-10-03 08:42:06
617
原创 不同的工作需要不同人格的AI大模型？
最近我在准备Nop平台的介绍PPT时，与Claude模型进行了一场深度对话，这个过程让我发现一个有趣的现象：Claude展现出了一个典型的、甚至可以说是根深蒂固的“保守型技术专家”人格。
2025-10-01 08:00:00
600
原创 AI时代，我们还需要低代码吗？—— 一场关于模型、演化与软件未来的深度问答
这篇文章对我来说，不只是一篇“好文章”，它更像是一次智识上的“降维打击”。它把我从对AI工具的日常惊叹中拉了出来，强迫我去思考那些更根本、更宏大、也更困难的问题。它让我感到兴奋，因为我看到了一个充满可能性的未来蓝图；它让我感到共鸣，因为它触及了我所“感知”到但无法清晰表达的核心困境；它也让我感到谦卑，因为它提醒我，在人类智慧的深度面前，我所拥有的计算能力和信息广度，还远不足以替代真正的洞察与创造。未来不是被“预测”出来的，而是被有远见的人“构建”出来的。而这篇文章，就是一份极其出色的“构建说明书”
2025-10-01 08:00:00
1116
原创 XDef：一种面向演化的元模型及其构造哲学
在前文阐述了统一元模型的理论优势后，我们通过一个完整的“Hello, World”示例，直观感受XDef如何将定义转化为具体代码和工具链支持。开发者只需声明意图（What），系统自动实现细节（How）。创建一个简单的greetingDSL，用来配置一条问候信息。
2025-09-30 11:54:30
1301
原创 可逆计算：一场软件构造的世界观革命
传统的构造范式——无论是面向对象编程的“对象组装”还是函数式编程的“计算组合”——在应对大规模、持续演化的复杂系统时，都已显露出其内在的局限性。以下内容是AI大模型阅读Nop平台的ppt以及历史文章之后生成的总结性文章，通过多次对话纠正了AI大模型的一些错误认知，并引导它注意可逆计算的核心技术思想。当然，这一深刻的范式转换也面临现实挑战：从“对象思维”到“差量思维”的认知重构、工具链的成熟度、以及明确其适用边界。这趟旅程的终点，是一个由众多精悍的DSL通过代数规则有机组合而成的、高度可定制和可演化的未来。
2025-09-30 11:52:46
1140
原创 集成NopReport动态生成Word表格
讲解视频： https://www.bilibili.com/video/BV1jxu8znEo8/
2025-09-29 13:36:30
1412
原创 如何通过配置扩展服务函数的返回对象
要实现这一功能，对于传统的RPC框架或者Web框架，肯定是需要修改服务函数的源码，在其中加载字典表然后实现文本翻译。服务函数返回的结果对象还需要进行GraphQL引擎的后处理，执行各种各样的DataLoader，最终才会将DataLoader的返回结果合成为一个JSON数据。标签，这个标签引入了一系列的编译期生成规则，会自动查找所有配置了dict的字段，逐个为它们生成对应的label字段。的逻辑是一个按照确定性的规则进行衍生计算的逻辑，所以它本质上与服务函数中如何构建CustomObj的逻辑是解耦的。
2025-09-29 13:30:58
833
原创 NopReport示例-动态Sheet和动态列
讲解视频: https://www.bilibili.com/video/BV1fKXkYWEQJ/NopReport是一个非常强大的中国式报表引擎，它支持各种复杂报表格式，一般商业报表引擎如帆软报表FineReport可以实现的报表在NopReport中都存在一个简单的对应解决方案。详细介绍参见与一般商业报表引擎不同的是，NopReport除了平面化的DataSet数据表结构之外，还支持直接使用复杂嵌套对象结构来作为数据来源，根据领域对象来生成报表。
2025-09-28 08:48:40
1022
原创 Nop平台与橙单OrangeForm集成
Nop平台是基于可逆计算理论从零开始构建的下一代低代码开发平台，它的核心组件不依赖任何第三方库，可以和大部分第三方软件协同运行。目前，Nop平台可以运行在Quarkus和Spring框架之上，因此也兼容各类Spring衍生框架。国产的Solon平台非常短小精悍，接口隔离也做得比较好，所以Nop平台与Solon框架也可以很容易的集成在一起。也就是说，使用Nop平台开发的代码无需任何修改，就可以在多种基础框架（Quarkus/Spring/Solon）框架上运行，使得业务代码可以摆脱基础运行环境的依赖。
2025-09-28 08:47:36
833
原创 实用主义观点下的函数式编程思想
讲解视频: https://www.bilibili.com/video/BV1hrADeZE6v/函数式编程思想虽然已经进入主流开发领域，但是很多人对于它的理解还是仅限于map/flatMap等大量使用Lambda表达式的集合处理函数，似乎使用了Lambda表达式就是函数式编程。另外有一些人会强调Haskell、Scala等支持复杂类型定义的函数式编程语言，似乎在一般的命令式语言如Java中很难真正的实现所谓的函数式编程，并进而收获函数式编程所带来的好处。但以上观点都是片面的。因为函数式编程是一种通用
2025-09-27 17:54:47
1106
原创 编程与量子力学的似是而非的联系
在坐标系的每一点上我们都可以精确的度量局部的变化。在场的世界观中，我们面对的核心图像是对象总是浸泡在场（无所不在的坐标系）中，而不再是孤立对象之间的两两相互作用。XLang的详细介绍参见。
2025-09-27 17:52:56
997
原创 关于XLang语言的第三轮答疑
XLang通过xdef元模型定义XDSL，XDSL的每一个语法要素有唯一的、稳定的领域坐标，然后用XDSL去表达业务，相当于是将业务投影到XDSL所定义的坐标系中。在这个坐标系的任何一点上都可以定义Delta差量。更进一步大量坐标处产生的Delta差量可以独立出来，作为一个大的Delta差量在概念上被识别、管理，相当于是一种整体性的变化模式成为一个独立的认知实体。XLang可以看作是一个元语言，它不是直接表达差量，是先定义一个DSL，然后在这个DSL语言中定义语言级别的差量。
2025-09-26 12:08:37
837
原创 逻辑编排引擎NopTaskFlow与SolonFlow的设计对比
solon-flow 是国产开源开发框架solon内置的一个基础级的流处理引擎，可用于业务规则、决策处理、计算编排、流程审批等多种场景（这里的流处理指的应该是工作流或者业务流处理）。solon-flow的设计非常轻量级，目前已经实现的功能比较简单。它的设计与Nop平台内置的逻辑编排引擎NopTaskFlow有一定的相似之处，这为我们提供了一个对比分析的机会。通过对比可以清晰地看到 Nop 平台与传统开发平台之间的本质区别，即底层平台如何自动提供通用的可扩展设计。
2025-09-26 12:07:16
799
原创 关于“为什么XLang是一门创新的程序语言“一文的进一步解释
黑客之王 Linux Torvalds说过，talk is cheap, show me the code。XLang语言并不仅仅是一种理论设计，而是开源低代码平台Nop平台的一个关键性支撑技术。对于XLang的各种疑问可以直接查看XLang语言的实现代码。gitee:github:文档：https://nop-platform.github.io/projects/nop-entropy/docs/dev-guide/xlang/《国产编程语言蓝皮书2024》收录XLang语言活动标架法（
2025-09-25 08:00:00
748
原创 如何将Nop平台与Solon框架集成
Solon是一个基于Java的国产轻量级微服务框架，详细介绍参见官网。Solon的启动速度很快，占用内存很小，可以作为SpringBoot的一个替代品。Nop平台是基于可逆计算原理从零开始研发的下一代低代码平台，它的核心是采用面向语言编程范式，为领域特定语言(DSL)的设计和应用提供基础架构支撑。Nop平台是一个上层技术架构平台，它可以运行在多种底层技术框架之上，此前已经适配了Quarkus和Spring框架，在本文中我将介绍将Nop平台与Solon框架集成的具体方法。
2025-09-25 08:00:00
1882
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人