00元序 WorldScript

元序 WorldScript

面向复杂现实系统的声明式建模与推演 DSL。
不再让世界适配代码，而是让代码拥抱世界。

元序是什么

元序（WorldScript）是一门面向复杂现实系统的声明式建模与推演 DSL，其核心设计哲学源于「世界是连续、混沌、嵌套、容错、自演化的」五大公理。

它不是通用编程语言，不替代 Python/Go/Java；它不是物理仿真语言，不求解微分方程。它的生态位在：社会/生态/经济/交通/舆情等「方程不好写但规则好说」的领域，用声明式语法表达系统行为，由运行时引擎执行因果推演。

五大公理：

  1. 容错存续 — 无 Error，只有 Deviation；局部偏差不中断全局
  2. 因果涌现 — 执行流由因果权重触发，非语句顺序；多因叠加自动加权
  3. 尺度嵌套 — 微/中/宏三级域双向自动耦合，无需手动传参
  4. 无间断自演化 — 规则参数在线热修改，系统永不停止（MVP阶段限参数调优）
  5. 状态连续 — 以连续量为一等公民（归一化[0,1]），支持量纲标注与自动归一化

文档导航

文档按五层结构组织，从哲学到规范到实战到深度研究。

第一层：哲学与构想

序号 文档 定位 阅读时长
01 「WORLD·元序」构想 愿景与概念提出，为什么需要一门新语言 5 min
02 完整细化体系 五大公理 + 核心架构 + 语法体系 + 差异对标 15 min

第二层：规范与实现

序号 文档 定位 阅读时长
03 可运行演示案例 5个完整示例（交通/火险/经济/生态/城市群），含逐Tick运行解析 30 min
04 元序规则 正式语言规范：词法/语法/语义/BNF/运行时/标准库 40 min
05 运行时架构 五大引擎内部实现、Tick调度器、因果匹配算法、内存模型 25 min
06 语法速查表 一页纸 Cheat Sheet，五种句式 + 运算符 + 保留字 随手查
07 标准库API手册 内置函数、内置状态场、配置参数的详细文档 随手查

第三层：生态与选型

序号 文档 定位 阅读时长
08 实现路线图 从概念到MVP解释器的技术路线与里程碑 10 min
09 对比手册 与 Modelica/GAMA/Vensim/CLIPS/Stan 及通用语言的深度横向对比 15 min
10 FAQ 40个常见问题答疑 随手查
11 应用场景集 元序的落地场景全景：智慧城市/数字孪生/经济模拟/气候模型等 15 min

第四层：实战指南

序号 文档 定位 阅读时长
12 程序设计模式 12种惯用模式 + 7种反模式 + 质量检查清单 20 min
13 标准域模型库 5个预置域模型（交通/生态/经济/气候/舆情）完整定义，开箱即用 25 min

第五层：深度延伸

序号 文档 定位 阅读时长
14 形式化语义 操作语义+指称语义+定理证明（v1.1已修正连续性/收敛性定理），干预语义do算子 30 min
15 与大模型结合方案 LLM辅助元序编程 + 元序增强LLM推理的双向协同架构 20 min
16 验证与确认体系VVUQ 四层验证框架+语言级不确定性支持+可信度等级，元序的可信度基础设施 25 min
17 可解释性设计 规则触发解释+条件贡献度+偏差溯源+演化审计，回答「为什么」 15 min
18 干预语义与反事实推演 do算子+因果图+反事实查询，从观察性因果推进到干预性因果 25 min
19 量纲系统形式化 量纲代数+跨量纲融合规则+量纲偏差，连续值的语义标注 20 min
20 哲学基础深化 五大公理与系统论/控制论/CAS/耗散结构的学术对话，原创贡献与局限 30 min
21 与大模型结合理论框架 元序作为LLM推理中间语言，生成-验证-推演-解释闭环 25 min

推荐阅读路径

  • 快速了解：01 → 02 → 06（速查表）
  • 深入理解：01 → 02 → 03（演示案例）→ 04（规则）
  • 实战开发：04（规则）→ 12（设计模式）→ 13（域模型）→ 03（案例参考）
  • 实现开发：04（规则）→ 05（运行时架构）→ 07（API）→ 08（路线图）
  • 技术选型：09（对比手册）→ 11（应用场景）→ 10（FAQ）
  • 深度研究：14（形式化语义）→ 18（干预语义）→ 19（量纲系统）→ 20（哲学基础）
  • 可信度评估：16（VVUQ）→ 09（对比手册）→ 14（形式化语义）→ 17（可解释性）
  • AI结合：21（大模型理论框架）→ 15（大模型结合方案）→ 18（干预语义）

元序的一句话

语言类型 用来做什么
自然语言（中文/英文） 描述世界
传统编程语言（C/Java/Python） 制造机器世界
元序 WorldScript 运算真实世界

核心语法速览

元序只有 5 种核心句式：

// 1. 定义状态场（取代所有变量）
State 城市交通 [拥堵指数, 平均车速, 车流密度]

// 2. 因果规则（取代 if/for/while/function）
When 拥堵指数 > 0.7 & 平均车速 < 15:
    涌现 全城交通预警
    提升 公交发车频率 +30%

// 3. 趋势跟踪（取代轮询/监听）
Track 拥堵指数 持续6个Tick:
    推演 未来3个Tick走势
    若预测 拥堵指数 > 0.9: 提前启动分流

// 4. 层级联动（取代作用域/传参）
Link 单车.车速 聚合→ 路段.平均车速
Link 城市.拥堵指数 约束→ 单车.路径偏好

// 5. 自演化（取代版本更新）
Evolve 信号灯配时 每10个Tick迭代:
    根据历史偏差修正权重
    沉淀高效方案到经验库

项目状态

  • 当前阶段：语言规范 v1.3 完成，文档体系 22 份齐备（含 00README），理论体系完整
  • MVP 解释器：worldscript/ 目录，Python 实现，支持 State/When/Track/Link/Evolve 五种句式，温控演示可运行，支持 --explain 可解释性模式
  • 下一步：城市交通验证案例——用文字完整推演 VVUQ 四层验证过程（详见实现路线图）
  • 文档版本：WorldScript Documentation v1.3
  • v1.3 新增：4份深度理论文档——《18干预语义与反事实推演》《19量纲系统形式化》《20哲学基础深化》《21与大模型结合理论框架》
  • v1.2 修订：Evolve 安全加固（参数调优限制+偏差告警+审计回滚）、可解释性引擎（规则触发解释+条件贡献度+偏差溯源）、语义边界三层分离、新增《17可解释性设计》
  • v1.1 修订：对比手册加入真正同类（Modelica/GAMA/Vensim/CLIPS/Stan）、新增 VVUQ 验证体系、修正形式化语义两条定理、类型系统从「无类型」修正为「带量纲的连续量」

许可证

本项目文档采用 CC BY-SA 4.0 协议开源。

posted @ 2026-09-03 16:35  新哲  阅读(10)  评论(0)    收藏  举报